Para instalar MIUI te vale cualquiera de esa lista porque no vas a arrancar el móvil desde el kernel, solo vas a reiniciar recovery para hacer los wipes e instalar.
Si estás por ejemplo en cualquer 4.1.2 oficial o custom, yo le metería (si no lo tienes ya) un kernel Philz, por ejemplo el LT9 de esa lista que me has puesto, pero el signed.zip que se instala por recovery.
Bájate antes la ROM MIUI, el fichero multilenguaje y las GAPPs (completas si quieres escritura por voz o las small si no). Todo está en el primer post de este hilo.
Baja también el kernel Philz que te he dicho si no lo tienes ya.
Pasos:
Entra en recovery y métele el kernel Philz. REINICIA EN RECOVERY y entonces te saldrá el recovery de Philz y desde él que es seguro haces todos los wipes y format system/preload. Si lo prefieres lo puedes hacer todo del tirón con la opción que hay en Wipe data/Factory Reset de borrar para instalar nueva ROM.
Entonces ya puedes instalar la ROM y el fichero multilenguaje. Reinicia y configura y después instala las GAPPs.
A mí me parece una ROM estable y yo no le cambio el kernel que trae.
