[ CONSULTA ] Problema con los kernels

[MaxLG]

Buenas chicos.
Intento cambiar de kernel para poder hacer overclocking a 1200 Mhz. Antes podia pero cuando me puse cyanogenmod 9 ICS me limita a 1000MHz.Cada vez que intento cambiar de kernel lo que hace es iniciarse con el nombre del modelo y tal y se reinicia, ni siquiera llega a la animacion de Remics. Y entonces tengo que volver a instalar la rom desde el recovery.
Alguien sabe como podria hacer overclocking a 1200Mhz sin cambiar de kernel con setcpu?
He visto que se puede poner un txt para que el setcpu lo lea. Como lo podria hacer?
Y si alguien sabe solucionar lo del kernel pues mejor
Mersi

[Benguii]

tendrias que buscar un kernel compatible con ics.

[MaxLG]

Pero para este modelo?existen?