Re: [PATCH] pci: Refuse to hotplug PCI Devices when the Guest OS is not ready