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