The requested feature is now present in the latest Debian SID kernel (3.16.7-ckt4-3): % grep "VFIO" /boot/config-3.16.0-4-amd64 CONFIG_VFIO_IOMMU_TYPE1=m CONFIG_VFIO=m CONFIG_VFIO_PCI=m CONFIG_VFIO_PCI_VGA=y CONFIG_KVM_VFIO=y This bug report can thus be closed.