La verdad que con lo inestable que es el software Miui y sabiendo que esta version 12.5.5 va en general bien, no creo que merezca la pena saltar al 13.
Esperemos mas comentarios de la gente a ver si hay mejoras en algún sentido porque si no, no veo la necesidad
Encima, hacer un hard reset da una pereza tremenda