Sí, eso que te has encontrado es un kernel para sense que te va a valer, peeeeeeeero, fíjate en lo que dice al final:
"P.S. this kernel is stock (without swap, ext..., etc)."
es decir "este kernel es stock (sin swap ext,..., etc.)"
Esto quiere decir que es un kernel que no soporta la partición de la SD que tienes hecha, eso conlleva que en el momento que lo flashees tu móvil morirá (bueno, XD sufrirá un grave retraso, como si le hubieras extirpado tres cuartas partes de su cerebro, ninguna aplicación funcionará, y el almacenamiento interno volverá a ser el que era antes, pero estará lleno hasta los topes, (me ha pasado, cosa nada agradable XD ))
No se, te tendrá que ayudar alguno de mis compañeros, no conozco kernels, además está el problema que no sirve un kernel cualquiera para una rom cualquiera, cosa que tampoco controlo demasiado (yo diría que este te serviría pero no estoy seguro).
En cuanto al recovery, sí ese menú es el recovery, es el mismo que estoy utilizando yo y no te dará ningún problema, yo te aconsejaría que trastees un poco por ahí porque tiene funciones realmente interesantes, como podría ser particionar la tarjeta SD, hacerlo desde ahí se me hace mucho más sencillo que desde el ordenador.