RE: [PATCH v3] iommu/vt-d: Fix PASID directory pointer coherency