vboxpci: IOMMU não encontrado (não registrado)

Question

Estou executando o Arch com o kernel 3.6.10,

Quando o módulo vboxpci é carregado, ele me diz vboxpci: IOMMU not found (not registered) ,

Mas eu verifiquei minha configuração do kernel, já tenho o INTEL_IOMMU definido (eu uso um 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

Comando do kernel:

BOOT_IMAGE=/boot/vmlinuz-linux root=/XX processor.ignore_ppc=1 apparmor=1 security=apparmor intel_iommu=on

Alguma sugestão? Althrough VBox começa, mas ainda se pergunta por que.