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 root=/XX processor.ignore_ppc=1 apparmor=1 security=apparmor intel_iommu=on

どんな提案がありますか？ VBoxが起動しましたが、まだ理由を知りたいです。