@
n4n0_DJ: efectivamente, el kernel son unos archivos en /system/ y el boot.img. Al instalar una ROM, los archivos en /system/ se borran totalmente, así que hay que instalar otro kernel, que puede ser distinto al que ya tenías. Por eso, debes primero instalar la ROM y luego flashear encima el kernel.
¡Versión 1.19.0 subiendo!
Un saludo!