I've had a stable overclock for over a year now under various installations of W10. I just installed Windows Server 2016 Datacenter and suddenly everytime I boot into windows, the CPU won't go higher than the default 3.5GHz. I would get over this but it won't even get the default TurboBoost of 3.9GHz.
Suspecting some sort of bad reporting, I ran a couple of benchmarks and it really seems to be stuck at 3.5GHz max. The OC is set in BIOS, regular stuff.
Is there some policy setting that I am missing?