my i5-4670k defaults to the core frequency of 3.8ghz when it should be sitting at 3.4ghz. I'm using the gigabyte z87 UD3H motherboard. I can change the clock ratio in the bios but it defaults to 3.8ghz after reboot. Any ide why this is happening or how to fix it?