wibujo couldn't use the 4.00D multiplier on his EP45T-USB3P baord but managed 450MHz FSB x 3.33D for DDR-1500, this should get the CPU up to 3.85GHz.
Both are very new boards maybe BIOS update will allow it but to get above 3.4 you need more than 400MHz FSB anyway.