Bueno, tengo una buena noticia y una mala
La mala:
Donovan respondio y no se sabe cuando soltaran las fuentes del kernel (si es que lo hacen)
La buena:
http://en.miui.com/thread-67484-1-1.html
Segun ese post de hoy se espera 1 ultima version estable de v5 para este mes y que empiezen a salir las betas de miui6 para finales para TODOS los redmi en version estable Y de desarrollador