Re: [PATCH 1/2] iommu/vt-d: Don't queue_iova() if there is no flush queue