Re: [Kimchi-devel] [PATCH v2 1/3] PCI passthrough: list all types of host devices