[Kimchi-devel] [PATCH] [Kimchi] Issue #809: PCI filter does not seem to work