1.40 VCORE is the sweetspot for 4.00Ghz.

Tried 1.385 It won't load into windows.

For what I read this processor handles stock clocks very nice @ 1.250 Vcore