I have a mobile 2500 and an ASUS A7N8X-X. In the BIOS I have the full rage of multipliers all the way to 17X; however, when I select anything above 12.5 the system runs underclocks. For example 13 is 5, 14 is 6 etc. Any ideas on how to run faster than a multiplier of 12.5?