Pues @
chucky6600 la verdad es que sí que parece que está ahora mismo un poco abandonado, no sé si por la situación en China o qué, pero la verdad es que amigos y conocidos con, por ejemplo el Redmi Note 8, sí están recibiendo actualizaciones, así que no sé qué pensar.
Y respecto a la ausencia de ROM China es cierto, pero juraría que el Pocophone F1 tampoco dispone de ROM China y por lo que veo muy abandonado no está (aunque entiendo que es una gama superior al nuestro).
Al final va a haber que tirar de xiaomi.eu u otra custom rom, que no la tengo porque no me atrevía a instalarla, pero la verdad que con la herramienta XiaomiTool V2 parece mucho más fácil de flashear para los que somos un poco torpes con estos temas.