Muchas gracias por este post, así als tenemos todas a mano.
Te dejo aquí el enlace de las rom oficiales para fastboot (para SPflashtools):
http://en.miui.com/a-234.html
Está la estable china y la developer ambas como digo para instalar por flashtools.
Creo que viene bien por si alguien quiere hacer una instalación de 0 o volver a la oficial.
Un saludo.