no es un kernel es un source, código fuente, para que los desarrolladores puedan modificar los parámetros del kernel de samsung y modificarlo a su antojo.