Re: [Kimchi-devel] RFC - PCI Hot Plug