Si no estoy equivocado, pero espera a que te lo confirmen, ya puedes instalarla.El kernel solo hay que tener un kernel seguro con recovery, a partir de ahí cada rom lleva su propio kernel incluido.
Pero ya digo, esperate a que lo confirmen. De todas formas, pasate por el foro de miui españa