I have a C840, it does what I need it to do. I picked up a cheap 2.53GHz P4 mobile and thought I would give it a bit of an upgrade. I also updated the BIOS to A13.

When I rebooted the bios still says 1.9GHz. How do I change the clock speed to something higher ? There doesn't seem to be an option in the 7 bios pages.