[PATCH v3] iommu/vt-d: Avoid superfluous IOTLB tracking in lazy mode