Hoy ya me ha llegado el mío, por lo visto es la propia Vodafone quien se encarga de las actualizaciones:
https://imgur.com/a/P6Zx3YX
Como no quiero esperar a que se decidan a actualizar lo lógico sería instalar la rom global propia de Xiaomi. Tengo la duda si se puede hacer directamente desde el updater o tengo que abrir bootloader y flashear la rom, y si es así si se puede volver a cerrar el bootloader.
Saludos.