Te refieres al que tienes que utilizar ¿?
El que trae es la version 3.
Te vale cualquier kernel Philz, pero te paso el 3.1 que es el que yo tengo y te vale para realizar la instalacion ;)
Para pasar de ICS a JB...
Reinicias en Recovery.
Instal ZIP from SDcard
flaseas el Philz, cuando termine vas a Advanced y Reboot Recovery.
Ahora ya te aparecera este nuevo kernel (tactil), Haces Wipes, battery stats y todo! luego en Mount And Storage haces Format/system, /Data y /Preload.
Vuelves a Install ZIP y buscas la ROM, Flasheas y una vez termine reinicias desde el recovery ( Reboot system )
---> KERNEL PHILZ 3.1 PARA FLASHEAR LA ROM <---