En mi caso compré el terminal el día 10 en Jazztel y viene con la versión 11 y aún no ha actualizado a MIUI 12.
Espero que no tarde pues me dice que no hay ninguna actualización disponible.
Sin embargo el Redmi 7 que se ha averiado y está en reparación, si que tenía ya el MIUI 12
Un saludo