intel-iommu: Fix tiny theoretical race in write-buffer flush.