Después de otra mañana más de trasteo (y chapuzas mediante) he conseguido flashear con MiFlash la última ROM estable flashboot (9.5.7) pero atónito me encuentro con que el fallo se ha vuelto a reproducir: funciona muy lento, lageado, como si estuviera la CPU al 100%, pero no tiene nada que ver.
Parece que es problema de hardware (mala conexion del cable de la pantalla), haciendo un apaño funciona bien, pero tendré que desarmarlo para revisarlo...
Entre este fallo y otros que he tenido (problemas de GPS, el jack de auriculares, llamadas estando el móvil en el bolsillo, bloqueos de la conexión de datos, etc...) se han lucido estos de Xiaomi... no creo que les compre otro móvil en un futuro próximo...