Buenas! Por si no lo has hecho todavía, te pongo esta herramienta que ha creado un usuario donde facilita mucho las cosas para instalar una Rom actualizada en cualquier Xiaomi.
Echale un ojo, es un programa que detecta lo que tienes y lo que puedes instalar y ello solito te lo descarga y lo instala, aquí te dejo el post en el que hablan de ello y desde donde puedes descargarlo:
http://www.htcmania.com/showthread.php?t=1366905
Saludos