Yo vi un tutorial en ingles pero no me aclaró nada.
Me limito a usar los perfiles pero lo que no he sido capaz es de subir la frecuencia con el setcpu. Como máximo me deja poner 524. Así que lo que hago es subirlo con el overclock widget a 614.
No se como hacerlo todo con el setcpu :p