yo he tenido esa también....y no iba mal, aunque la han retirado supuestamente por problemas. Hace un mes o por ahí se ha vuelto a actualizar por OTA, a la 8.5.3.0.. y con esa estoy. Tampoco está en la web de miui, no sé por qué. En nada saldrá miui 9 , yo esperaría, aunque si le va mal, que no creo, puede poner la 8.5.3.0 que la hay en este foro mismo, para descargar.