Имеется процессор IC2D E8300 c максимальной частотой 2,83 ГГц и Ubuntu 12.04 с ядром 3.5.4.

Динамически, в зависимости от нагрузки, частота изменяется: либо 2 либо 2,67 ГГц.

Попробовал поменять политику управления частотой, в /etc/init.d/ondemand заменил echo -n ondemand > $CPUFREQ на echo -n performance > $CPUFREQ.

Действительно стало 2,67ГГц, но отсюда вопрос - почему не максимальные 2,83????

В биосе стоит 2,83 ГГц, в оффтопике тоже 2,83, а вот в убунте 2,67((