[PATCH] x86_64: Make GART_IOMMU kconfig help text more specific (trivial)