No idea. Why are you reverting it? i5-3570k is meant to be overclocked. Anyways if it is not running at the default speed like you want it, just go in and manually set the clock speed to what is should be. Same way you would to overclock it, just stop at the default.