Update amd_iommu_types.h