x86, iommu: Update header comments with appropriate naming