x86, AMD IOMMU, build fix #2