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