Re: [PATCH] agp: iommu_gfx_mapped only available if CONFIG_INTEL_IOMMU is set