Lo primero de todo gracias por la ayuda, pero obviamente ya me había pasado por esos hilos y aún así me quedaban dudas x)
1º- Ya he visto toda la lista de kernels, pero para empezar no he encontrado en ella el mío pinky-ghost@cyanogenmod#1. Siempre he visto el Semaphore, pero no se por qué es tan "especial". Además esta mañana se me ha actualizado a 4.2.2.
2º- Ya he estado trasteando el NsTools, pero no me deja modificar el governor de la CPU. ¿Por qué?
Saludos