iommu: fix Intel IOMMU write-buffer flushing