Created attachment 837478 [details] proposed patch from kernel bugzilla This is the proposed solution to the pci passthrough issue. This patch solves the issue for me.