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