Bueno pues dicho y hecho aquí tenéis no uno sino 3 kernel de los mejorcitos compatibles con Miui!!
http://download.mavaee.nl/Android/Kernels
Si ponéis en kernel lean se pierde root, hay que volver a router desde el Recovery, y para eso hay que tener el Philz.
También deciros que al meter uno de estos kernels se soluciona el problema de no poder descargar aplicaciones compradas en el play Store.
A disfrutar!