Re: [PATCH] PCI: vmd: White list for fast interrupt handlers