We need to make sure a device is properly added/removed (or not) to a domain definition to check that a hotplug API did not lie to us.