I recently bought a new processor, (AMD barton 2500), but when i put it in, BIOS recognized it as a 3200+. I've flashed the system, and it still comes up as 3200+ or user define. SHould I clock it to the 2500+ speeds, or leave it as 3200? My motherboard is an abitnf7-s rev 2.0