Creo que te tienes que dará igual, porque si el kernel no usa esas velocidades, no hace nada (pero no lo puedo confirmar), pero lo que sí necesita, creo, es que sea un kernel que tenga archivo vdd_levels (ya sea tal cual (si es SVS), o vdd_levels_havs (si es HAVS), que creo Eviollet en sys>devices>system>cpu>cpu0>cpufreq.
Por ahora, que yo haya visto, salvo los de Eviollet, los .38 de Coutts, y ahora el Redux que ha metido ihlades, ninguno mas lo lleva...
Uff, no estoy seguro, porque es un script que se mete en System/etc/init.d, y no se si al flashear la ROM, incluso sin wipes, se lo cepilla...

Puedes confirmarlo, echandole un ojo a ese directorio, viendo qué archivos hay allí, y luego volviendo a chequear al flashear!!

