In case this will help anyone else, I did a build with the IP35-Pro XE and 4 gigs (2 x2GBs) ADATA 1.8v Ram, DDR-800 and a Q9450.
And it works fine. There is only one version of the bios so nothing to change there.
I don't know much about overclocking but I did turn the FSB to 400. So it appears to be running at 3.2MH. I made no other changes to anything from whatever the default values are.
Ran Prime 95 torture tests for 6 hours or so with no errors. Core temps after 6 hours using Real Temp 2.5 are 52 49 52 49. The max were 57 53 57 54. They started on idle at 37 31 37 31. I don't know what TJMax represents.
The CPU-Z program says the CPU is at 3200.6 MHz, Multiplier 8.0, Bus 400, Rated FSB 1600.1. The core voltage is 1.160 and sometimes it switches to 1.170. I don't know why it switches itself?
So I guess I am fine at 3.2 MHz?