An OEM computer such as HP, Dell, Gateway, etc. can't be overclocked in the bios. You would have to use software to do it, but you wouldn't see much if any improvement. If he wants to overclock, he would have to build a custom computer with a non OEM motherboard.