Check your power settings - if you have the computer set to power saving it won't speedstep up to 12.5 even if it's under full load...
Had a similar issue the other day
kd
I think his issue is the BIOS, if he does have F6 its not seeing the full 12.5x and not reading the cpu properly to do the vcore and multi automatically.