Re: [nova] PCI hotplugging