Need some advice. I unlocked the 4th core and it seems to run stable. I hit f10 in bios to save changes but when I restart it starts up in triple core mode unless I press #4 on startup to enable 4 core operation. Shouldn't the bios have saved the change or is this the price to pay for getting a 4th core for free?