So, I'm trying to OC my trusty old 2500k, but now I got the problem that I can't go beyond 3.8 GHz it seems, even though I've set the frequency multiplier in BIOS to 40 (which should be 4GHz right?)... I have also tried disabling and re-enabling turbo boost, but It wont go over 3.8. I dont understand why though, if you need any more information I'll be happy to provide you 
Thx in advance to anyone who might be able to help

Thx in advance to anyone who might be able to help