RE: [PATCH 08/14] iommu: Introduce a new iommu_group_replace_domain() API