Installed F4 BIOS. Accessed BIOS, went to Advanced Chipset Features. I check the RAM clock, it's at 100MHz, should be 200... so hmm. I go to modify it, and when I do, the BIOS freezes (there is no option listed.) I have to ctrl-alt-del out, and I tried several more times. Finally I gave up...