Just tried F4K, broke my OC, couldnt get anything stable, for me that bios sucked, went back to F3 and everything is ok again.