Se me olvidaba, si aun quereis tener miui con actualizaciones, lo mismo en xiaomi.eu tienen algo aun.
Eso si, creo que siguen siendo roms con android 6.0 igualmente.
Yo lo dicho, tengo lineage15 en 8.1 oreo desde el año pasado y me rula muy bien. Cuando tenga tiempo lo subiré a pie 9.0
Ya cuestión de gustos.