Instalada, aunque en mi caso, como casi siempre, manualmente, no se que me pasa con las actualizaciones de esta gente de Xiaomi, puedo estar 3 días que puedo dedicarme a ello y no salta nada y siempre me salta cuando estoy en el trabajo o ocupado, y... Si no la haces en el tiempo que tengan marcados para ello se va... o te deja descargar y luego desaparece. Solo he conseguido instalarla una vez justo saltar la notificación y hacerlo, todas las demás veces como deje pasar una horas hasta llegar a casa o cuando pueda tengo que volver a esperar. Por eso al final cargada manualmente la ota y a funcionar.