Yo instalo la ROM y dejo todo asi por defecto, no se porque quieres cambiar el kernel, pero creo que el kernel que trae la ROM es el mejor para ella (es el kernel que trae mas features de todos), no se que kernel quieres instalar pero si no es el kernel de moddingg33k, no esta un kernel mejor
Puedes cambiar el ramdisk con este tool:
http://forum.xda-developers.com/show....php?t=2073775