Bueno, no sé cómo, pero he conseguido instalar una
xiaomi.eu, con lo cual ya he cumplido la mitad de mi objetivo,que era volver a la situación anterior al crack.
Segundo objetivo: cambiar el
recovery original por el
TWRP.
Tercer objetivo: ponerle una sMiui.
No necesariamente en ese orden, ya iremos viendo.