Hello,
it may be of interest to you, I made a little home-desktop widget that allows you to quickly change the maximum frequency of CPU's clock.
This widget works with the kernel Titan. If it can interest you, take a look here: maxcpu

Ciao.