How? Every review of this thing people haven't been able to really get it above 3.8Ghz it seems like. Did new BIOS help or something?