Buscando he encontrado una posible solución, no he podido probarla porque no estoy en casa pero a lo mejor alguien con el problema puede intentarlo y decirnos si le sirvió.
La he encontrado en un foro de un modelo diferente pero a parte del modelo de la ROM a flashear todo lo demás valdría para cualquier modelo, creo. Echadel un vistazo y si os lo revive posteadlo pls.
http://en.miui.com/thread-54139-1-1.html
PD: yo intentaré hacerlo nada más llegar a casa.