RE: [PATCH v1 2/8] iommu: Introduce a new iommu_group_replace_domain() API