x86, AMD IOMMU: add Kconfig entry