In my tweaking of a Haswell 4770k, I somehow must have enabled some power saving feature as my Clock (Core#0) winds down to a Core Speed of 800.0MHz from a Multiplier of x 8.0 at a Bus Speed of 100.0 MHz, though it does crank up to 4200 when pressed ...