Re: Disabling PCI "hot-unplug" for a guest (and/or a single PCI device)