El kernel lo puedes pillar directamente desde aquí
http://goo.im/devs/maxwen/BLADE
Baja el que pone
boot-BLADE-42-201301262306.img
Si bajaste la última Rom, creo que es el que viene incluido en la carpeta. Pero hay que estar atento, porque muchas veces actualizan kernel, sin actualizar rom. Y las más grandes diferencias de rendimiento y autonomía se consiguen a través de mejoras del kernel, y no de la rom.
Un saludo.