Como yo suelo decir, hay que leer. [emoji23]
http://en.miui.com/thread-528989-1-1.html
Para el que esté interesado, descargando este recovery stock de la rom global, podemos volver a flashearlo, para quitar el custom TWRP que tuviéramos instalado, y así poder instalar MIUI 9 cuando llegue por OTA. Esto evidentemente es más práctico que instalar toda la Rom, ya que así no se borra nada.
Se puede hacer desde EL TWRP, o flsheando con esta herramienta XiaoMiTools.
Enviado desde mi Redmi Note 4 mediante Tapatalk