AMD IOMMU: add iommu_flush_domain function