Me rectifico a mi mismo.
Sí está disponible pero en los foros de Xiaomi, no en la página de descargas del Mi4.
Aquí encontraréis las rom:
http://en.miui.com/thread-176388-1-1.html
Aquí más info sobre cómo actualizar (nada que no sepamos ya
):
http://en.miui.com/thread-175037-1-1.html
Saludos.
