I believe, although I am not an expert, that you could boost that core up to 4.2 GHz in the BIOS without changing the voltage. You should check its stability with some temperature monitoring software such as SpeedFan and run a stress test with something such as Prime95.
If you get a BSOD, try...