No me aclaro nada con el tema nuevo que se usa en HTCMania, así que te lo diré sin enlaces. Busca en las chinchetas de ROM como poner la ROM oficial de miui, y así tendrás cero complicaciones. Xiaomi te facilita las herramientas y los programas. Lo dejas en la última estable de miui, que es lo que yo tengo ahora mismo por su bajo consumo, y listo, no hace falta trastear más.