vmm: Ensure uniqueness of generated identifiers

The device identifiers generated from the DeviceManager were not
guaranteed to be unique since they were not taking the list of
identifiers provided through the configuration.

By returning the list of unique identifiers from the configuration, and
by providing it to the DeviceManager, the generation of new identifiers
can rely both on the DeviceTree and the list of IDs from the
configuration.

Signed-off-by: Sebastien Boeuf <sebastien.boeuf@intel.com>

vmm/src/vm.rs

@@ -570,7 +570,7 @@ impl Vm {
             None
         };
 
-        config
+        let boot_id_list = config
             .lock()
             .unwrap()
             .validate()
@@ -603,6 +603,7 @@ impl Vm {
             &activate_evt,
             force_iommu,
             restoring,
+            boot_id_list,
         )
         .map_err(Error::DeviceManager)?;