En ref sobre ese Kernel, he encontrado una pag la cual "creo" que tiene todas las versiones de este y de todos los kernel mas conocidos...me podias decir que versión es la que tienes instalada?
Esta es la que he bajado, pero puedo bajar cualquiera:
Yank555.lu-SGS3-JB-kernel-v1.0.35