vboxpci: IOMMU not found (not registered)

view story

http://unix.stackexchange.com – I'm running Arch with 3.6.10 kernel, When vboxpci module is loaded, it tells me vboxpci: IOMMU not found (not registered), But I checked my kernel config, I have the INTEL_IOMMU set already (I uses a Thinkpad X220) CONFIG_GART_IOMMU=y # CONFIG_CALGARY_IOMMU is not set CONFIG_IOMMU_HELPER=y CONFIG_IOMMU_API=y CONFIG_IOMMU_SUPPORT=y # CONFIG_AMD_IOMMU is not set CONFIG_INTEL_IOMMU=y CONFIG_INTEL_IOMMU_DEFAULT_ON=y CONFIG_INTEL_IOMMU_FLOPPY_WA=y # CONFIG_IOMMU_STRESS is not set Kernel command: BOOT_IMAGE=/boot/vmlinuz-linux root=/XX processor.ignore_ppc=1 apparmor=1 security=apparmor (HowTos)