x86, AMD IOMMU: add comments to amd_iommu_types.h