Yes.
This is for permanent overclocking :
1:
cp /usr/share/kernel-power-settings/ideal /home/user/MyDocs/kernel.txt
2:
Edit the kernel.txt
3:
rm -f /etc/default/kernel-power
cp /home/user/MyDocs/kernel.txt /etc/default/kernel-power
/usr/sbin/kernel-load