ANSWER:
Yes. Press Fn-F1 to enter the setup program and change the Power Mode setting to CUSTOM.
This allows you to change the Processor Speed from 25MHz to AUTO. This allows the power
management software to slow the processor automatically when it becomes idle, and then
return to full speed when needed.