Basta fare un wipe cache + davilk per installare il kernel, non serve wipe data.
Nelle impostazioni del tab alla voce Prestazioni puoi cambiare governor e i/o oltre a settare un limite massimo/minimo per le frequenze della cpu. E il tutto funziona egregiamente.