note that with the power kernel 2 things are possible: altering the cpu voltage table and altering the cpu clock speed. Using a preset profile in kernel settings such as ideal or lv or starving changes both. You can also use the default profile and simply overclock using one of the cpufreq proggies.