Gracias por el kernel noob
Comentar que este kernel sólo es válido para las ROMs basadas en Samsung (no CM/MIUI).
También recordad que este kernel lleva implementados perfiles para modificar las frecuencias cuando se apaga la pantalla con determinados gobernadores, así que no utilicéis perfiles con SetCPU para evitar conflictos.