Más vale tarde que nunca, esta tarde se lanzó la rom oficial para este dispositivo, en este enlace de Telegram podéis descargar la rom @Mi_Updates. No se si después de la larga espera estará llena de bugs o ira redonda aunque viniendo de xiaomi me inclino por la primera opción.
No vas a tener suerte desde hace mucho no instalo roms oficiales y tampoco soy asiduo de Miui, como mucho probaré la MiuiMix con A10 que acaba de salir para contrastar una duda que tengo. Simplemente puse el mensaje por si hubiera algún interesado