Re: [PATCH v2 1/1] iommu: Allow attaching static domains in iommu_attach_device_pasid()