[PATCH v4 12/17] iommufd: Add iommufd_device_replace()