Is anybody using the F11 BIOS for the P35C-DS3R? I'm looking at getting myself a nice new 45nm CPU, and if so would need to flash to these BIOS; I was planning on doing so before buying the CPU to make sure that it all worked OK. Has anybody got this BIOS, and if so is it all working fine? I'm currently on whatever BIOS came with my board (think it's F4...)