Ya esta en miui.com (aunque al actualizar sigue saliendo como miui8)
http://en.miui.com/download-274.html
P.D.: Dicen que daba bootloop al instalarla y la han resubido, pero no aparece ni el repositorio de sourceforge ni en el de androidfilehost, asi es que... ni idea de si la que hay en la pagina principal de descargas de en.miui.com es la version corregida o no.
P.D2:
http://en.miui.com/thread-809159-1-1.html