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