Configuration

kernel boot parameters

CPU

Follow the CPU Frequency Scaling guide to enable speed-stepping.
Processor has Intel Turbo Boost which works out of the box, but you can't see the frequncies above 2.5GHz in /proc/cpuinfo. To see the actual frequency use i7z package.