vboxpci: IOMMU를 찾을 수 없음(등록되지 않음)

저는 3.6.10 커널로 Arch를 실행하고 있습니다.

vboxpci 모듈이 로드되면 다음과 같은 메시지가 표시됩니다 vboxpci: IOMMU not found (not registered).

하지만 커널 구성을 확인해보니 INTEL_IOMMU가 설정되어 있습니다. (저는 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

커널 명령:

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

어떤 제안이 있으십니까? VBox가 시작되었지만 여전히 이유를 알고 싶습니다.