You sure on that? With my mBIOS I was booting 1206MHz earlier when playing with my new set of D9s.