Yo actualicé ayer a la 12.5.1.0 (RJIMIXM) Global Estable y hoy me he ocurrido una cosa curiosa. He llegado al trabajo y he visto que no tenía red, sin cobertura. He reiniciado, y nada. He apagado y encendido y nada. He llamado a atención al cliente de mi operadora (Digi) y me ha estado haciendo diversas configuraciones y nada. Ante esta tesitura, le he comentado al chico que me ha atendido, que haría pruebas en otro móvil, por si era problema de mi Xiaomi o de la SIM. He probado con un Samsung de un compañero y nada, sin cobertura.
Ante esto, solo me quedaba cambiar la SIM al slot 2, por probar y voilá! ya tenía red...muy raro, raro, sinceramente.