A eso me refería con esperar a que te llegue la actualización vía OTA, o meter una custom rom de Xiaomi.eu (que no es la oficial de Xiaomi) para tener Android 12,5.
A mí esperar una semana más o una semana menos, para que me llegue vía OTA, sin tener que andar buscándola por ninguna parte, no me quita el sueño sinceramente.