Creo que en el foro n3d habia una buena guia.
Es bastante facil hacerlo mas o menos, lo dificil es sacar el maximo y dejarlo fino fino.
Tu ve a la bios y sube el multiplicador a 36 al menos, seguramente con el voltage de serie aguante, con 1,3 por ay aguanta, no me acuerdo (al menos el mio).
Para ponerlo a 4ghz si que tienes que irte a 1,4 o un poco mas (no se recomienda pasar de 1,5v).
Tienes que oasar tests y controlar tempperaturas.