# CONFIG_GART_IOMMU is not set