Existe algun kernel para hacer overclock? (estable)

[LuisGVG]

Bueno, veran ya libere el bootloader, instale cm11 kit kat 4.4.2 pero la rom iba algo lagueada. Entonces me di a la tarea de modificar la rom, y aunque ya no tiene tanto lag me parece que va algo lenta, me gustaría saber si existe algun kernel para hacerle overclock al menos a 1.2Ghz
He buscado por el foro pero no he encontrado ninguno.
¿Alguien conoce un kernel para overclock?

[mateo0221]

Para cm 11 no. Para stock el kernel telley del foro g510.