x86, iommu: replace CONFIG_IOMMU with CONFIG_GART_IOMMU in iommu.h