[PATCH 06/10] Machine: store driver information in the Interface object