@RichardN900 An easy solution would be to install CPUTweak and load the HD Optimum profile - this would take care of most overclocking stuff for you. You might also want to lock the frequency of CPU. Code: sudo gainroot kernel-config lock 900 or replace 900 with your desired frequency.
sudo gainroot kernel-config lock 900