What's the best BIOS for overclocking on the IC7-G? I used to be able to run 3.5 but over the summer at some point I updated the bios and I can't get mine to 3.5Ghz anymore (2.8 P4) so I want to check to see if a different bios will resolve the problem.