Entra en el hilo de la rom de criskelo y sigue el tutorial. De todas formas puedes flashear un kernel solamente si no quieres hacer el update. Simplemente te descargas el kernel que quieras, por ejemplo Dark Core 2.8, pones el telefono en download mode, abres el odin lo pones en PDA (sin descomprimir ni nada) sin marcar repartition y flasheas, tarda 2 segundos de reloj, y sino bajate SGS kernel flasher, y simplemente metes el kernel en la raiz de la SD interna y lo flasheas desde el móvil.