I don't understand this. Isn't clock speed outside the kernel in your case, to be set in /etc/pmconfig? So what are you changing in Kernel for that? Are you changing the 500 voltage to <idle?