Pues para el Kernel hay que bajar el código fuente de Samsung en http://opensource.samsung.com

Después sobre el código cargas la configuración para nuestro modelo y haces unos cambios en los scripts de compilación con los parches de Kuneo (Tuve que hacer algunos a mano porque no parcheaba correctamente)

Depués compilas para la arquitectura ARM usando toolchain, que es una utiliería para hacer compilaciones "cross" (Cruzada) puesto que estoy compilando con un kernel de 64 bits y no tiene nada que ver con ARM.
De esa manera se "Engaña" al compilador para que haga la compilación para el procesador adecuado.

Ejecutas el configurador de compilación con y modificas los valores oportunos, como puede ser el soporte para ext4, swap, etc

Cuando ya lo tienes listo, lo compilas.

Luego descompones el boot.img y modificas el zImage (Kernel) por el compilado.

Vuelves a crear el boot.img y ya está listo para el flasheo...

Parece poco pero no lo es, tiene su historia.

Lo mejor es que no he usado un Kernel desconocido, estamos usando el Kernel de Samsung para nuestro querido bichito.



Un saludo.