Well, are P35 boards doing any better with C1?
Is this strictly a BIOS issue that will be patched in the future? 3.52GHz is major weaksauce...