Hola te subo el post,yo tambien estoy en las mismas.
tengo el kernel por defecto de Cyanogenmod 10.1, no 10, que es
blinki-ghost@ cyanogenmod#1.
Cual es el mejor kernel para esta Rom y hasta cuanto aconsejais hacer 0c en de ahora solo puedo hasta 1200 mh.
Y la duda es como se instala?