x86, AMD IOMMU: add comments to the initialization code