should i upgrade my BIOS on my GA-EP45-UD3R to F12e from F8. right now i do have my E8500 OCed to 4GHZ with 9.5x and 422 FSB 100% stable