I've checked and the cores do sometimes go up to 4.6, but when under load, they max out at 4.3. Looking in the BIOS, there are no options for MCE or anything equivalent as those options do not appear for the non-K processors according to the manual. Makes sense.
I've gone through all voltage...