RE: [PATCH v1 7/8] iommufd/device: Use iommu_group_replace_domain()