I have a core I5 2500 k at default sttings, i.e. 3,3 ghz to 3,7 ghz when turbo wakes up. I'm beeing told I could raise the max speed limit to 4,2 ghz in the bios; I can't find the related settings in bios, my mobo is a msi p67A GD55 (B3) pls help