I jumped into the BIOS and played around with different settings before settling for a speed just over three gigahertz, a pretty tame over cut, considering these are capable of more, but one that meant we could see a slight increase in the performance of CPU intensive tasks.