hasta ahora hay tres kernel para ICS
PowerKernel Hasta 2.0Ghz
Intekcs hasta 1.8Ghz
NightELf hasta 1.8Ghz
Con cualquiera puedes elegir la frecuencia que quieras es decir puede ponerlo desde 122Mhz hasta 1.8Ghz si a ti te funciona bien a 1.4 solomente lo pones a esa frecuencia
si deseas subir o bajar la frecuencia usa esta app
Nofrills
Yo en lo personal te recomendaria el NightElf, aunque el Inteks no funciona nada mal, respscto al power kernel, me ah dado reinicios y lageos
saludos
