Pues ese es el caso, se ha actualizado varias veces, es un Xiaomi, venía con Miui 7 y está en Miui 10, funciona bien, pero claro tampoco se si iría mejor después de restaurar, antes con versiones anteriores de Android, o Windows había mucha gente que aconsejaba hacer instalaciones limpias del sistema operativo de vez en cuando, y yo dudo de que eso suponga una mejora hoy en día