Al final me he arriesgado y lo acabo de actualizar del todo, puse región portugal y actualizó.
Luego después puse de nuevo España y ahora si que busca las OTAs, me dice que no hay versiones mas recientes, cuando antes ni buscaba.
De momento no observo problemas, ni parpadeos, ni cuelgues ni nada, todo bien como con la 12.0.4.0. (En la 12.0.7.0 ni me detuve a mirar.
Es verdad que cuando lo tenia en 12.0.4.0 puse un launcher y me dio problemas, pero ya lo sabia, miui es así.... asique en la 12.5 ni me lo planteo ponerle un Launcher.
Si es cierto que cambia bastante poco en todo, solo que pone que es android 11 y alguna cosa que otra nueva.
Seguiré probando, pero si no me falla nada, pues satisfecho.