En la sección de roms hay un hilo en importantes con algunos Stock kernels
Seria tan sencillo como flashear con odin o CWM el stock kernel correspondiente a la rom que tengamos y ya está.

Si no está el stock kernel de la rom que tenemos instalada, mejor no intentarlo con otro, por lo que pueda pasar.......