thanks BigB for responding. The BIOS has a bunch of read-only fields, and it does correctly show that the multiplier is 9. But for some reason, the frequency is identified as 1.20GHz most of the time, and every once in a while, it magically identifies as 1.80GHz.
Do you think by...