results on very idle system, booted with init=/bin/sh

frequency							c states					idle cpufreq=lowest freq		idle cpufreq=highest freq		full load cpufreq=ondemand
overclocked 3.4 Ghz					disabled by bios			108								111								190
2.6 Ghz								enabled and active			100								100								170
default bios settings 2.6 Ghz		default disabled in setup	90								92								150
default bios settings 2.6 Ghz		enabled by user in setup	87								87								150