A mi me está descargando la versión 12.2.1.0 RJBMIXM, instalé por XiaomiTools la Rom oficial EU hace dos días y me han saltado ya dos actualizaciones con esta y llevaba con la rom de Orange esperando meses alguna actualización!, a ver que tal va os iré contando =)