Disculpame, no lei bien eso, por ahora podria decir que incluso la original 7.2.8.0 es mala igualmente, jeje porque sino no estaria retirada por la propia miui.
Pero entonces si tienes toda la razon no me di cuenta que al fin y al cabo es un nombre, por lo que pueden añadir dos 0.0 al final o poner pepito grillo, jeje.
Lo que te tocara casi seguro es saltar el bootloader para instalar, y si tiene el EDL bloqueado por la ultima actualizacion de miui, activa por lo menos la depuracion USB y te tocara esperar a que te autoricen el desbloqueo del bootloader para poder hacer algo mas.