Hola, el kernel stock lo puedes coger tú mismo.
En el archivo de la ROM stock que se coloca en DATA en ODIN lo puedes encontrar.
Abres dicho arhico con el winrar.
Extraes el archivo "boot.img" y lo pasas al teléfono o a la SD
Lo comprimes en tar con el root explorer (dejas pulsado encima y le das a "create tar") y ya está listo para que lo flashees por mobile ODIN.
Si tienes algún compresor en el PC que comprima en tar tb lo puedes hacer con el ODIN normal, o pasas de la SD al PC y listos.
