Pues me espero y no actualizo.
Por lo visto se me había descargado la actualización y me ha dado error en un reinicio que he hecho, supongo que porque tengo instalado Magisk...
Pero viendo el panorama paso de arriesgarme. Por el foro de XDA también hay mucha gente con problemas. Me parece que estos de Xiaomi están un poco verdes aún con Android One.