Yo lo intentaría por el método tradicional. Esto me pasó con un redmi 10, no había manera de cambiar rom por este sistema de cambio de nombre, cosa que en el RN10PRO al tercer o cuarto intento funcionó, y lo que hice fue desbloquear el bootloader e instalar por fastboot.
Saludos.