Lo probé así y lo conseguí, gracias!
Flasheé el magisk para ser root y después me bajé la última room de xiaomi.eu y la flasheé también (flasheé el propio zip, no debía extraer, no? con el mi3 lo hacía así creo vaya) tras limpiar dalvik, datos y caché.
¿Es asi todo correcto? Porque tras eso he reiniciado y aunque se que tarda bastante... lleva ya como 10 minutos iniciándose (no con pantalla negra, sin con MIX y el simbolo de android) y ya me empieza a dar mala espina
.
Quizás la haya liado al descargarme y flashear el último enlace que hay en el hilo de xiaomi.eu o es el más actualizado?, este:
MIUI 10 8.8.3_New
Descarga:
https://sourceforge.net/projects/xia...0.zip/download
Gracias de nuevo.