Pues se han adelantado y ya está disponible en la página de xiaomi.eu.
He hecho una instalación sucia (sólo wipes de cachés) y en principio todo lo que he probado va bien, incluido el root con Magisk.
Ahora hay que trastearla bien y probar las novedades.