Минимальная и максимальная частота процессора равны

Я только заметил, что мой ноутбук уставился на работу значительно медленнее. Я использую обновленный 13.04, хотя проблема не началась сразу после обновления. После отслеживания проблемы я заметил, что оба процессора работают на частоте 800 МГц вместо максимальной частоты 1800 МГц. Независимо от нагрузки частота остается равной 800. Вот некоторые статистические данные:

$ cpufreq-info 
cpufrequtils 008: cpufreq-info (C) Dominik Brodowski 2004-2009
Report errors and bugs to cpufreq@vger.kernel.org, please.
analyzing CPU 0:
  driver: powernow-k8
  CPUs which run at the same hardware frequency: 0 1
  CPUs which need to have their frequency coordinated by software: 0 1
  maximum transition latency: 109 us.
  hardware limits: 800 MHz - 1.80 GHz
  available frequency steps: 1.80 GHz, 1.60 GHz, 800 MHz
  available cpufreq governors: conservative, ondemand, userspace, powersave, performance
  current policy: frequency should be within 800 MHz and 800 MHz.
                  The governor "performance" may decide which speed to use
                  within this range.
  current CPU frequency is 800 MHz.
  cpufreq stats: 1.80 GHz:0.00%, 1.60 GHz:0.00%, 800 MHz:100.00%
analyzing CPU 1:
  driver: powernow-k8
  CPUs which run at the same hardware frequency: 0 1
  CPUs which need to have their frequency coordinated by software: 0 1
  maximum transition latency: 109 us.
  hardware limits: 800 MHz - 1.80 GHz
  available frequency steps: 1.80 GHz, 1.60 GHz, 800 MHz
  available cpufreq governors: conservative, ondemand, userspace, powersave, performance
  current policy: frequency should be within 800 MHz and 800 MHz.
                  The governor "performance" may decide which speed to use
                  within this range.
  current CPU frequency is 800 MHz.
  cpufreq stats: 1.80 GHz:0.00%, 1.60 GHz:0.00%, 800 MHz:100.00%

Обратите внимание, что «текущая политика» говорит, что частота составляет от 800 до 800, независимо от аппаратных ограничений. Первоначальный губернатор был «ondemand», поэтому я изменил его на «производительность», чтобы понять, не изменилось ли это, чего нет. Никакое количество вызывающих cpufreq-set или cpufreq-selector не меняет частоту.

Оглядываясь, я заметил, что некоторые люди сообщали о подобных проблемах в прошлом, хотя никакого благоприятного ответа не существует. Любая помощь будет принята с благодарностью.