El kernel está en el primer post de este hilo
http://forum.xda-developers.com/show....php?t=2285366
Puedes bajar la última versión normal que tiene la posibilidad de hacer oc o una alternativa que no tiene oc para los que les preocupa más la batería que el rendimiento.
Además permite tener dos roms instaladas pero yo con cm tengo de sobra xq va de lujo.
Un saludo