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