¡Gracias por la respuesta ribanezt!
Queria hacer la copia de la ROM para tenerla, por si acaso.
Le voy a poner la de desarrollo para desbloquear el bootloader y luego le pondré alguna estable de xiaomi.eu, en principio esta xiaomi.eu_multi_ido_V7.1.3.0.LHPCNCK_v7-5.1
¿Alguien ha probado alguna 7.2 de xiaomi.eu?