[PATCH v2 08/20] Machine: construct a Device database reflecting InterfaceManager state