Mira a ver si en la Bios tienes algun profile ( perfil ) de Overclock ya diseñado , lo seleccionas a 4.2 - 4.6 Ghz y el te lo configura todo.

Suele estar en la pantalla principal de M.I.T de la Bios.