我正在运行带有 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 处理器.ignore_ppc=1 apparmor=1 security=apparmor intel_iommu=on
有什么建议么？虽然 VBox 启动了，但仍然想知道为什么。