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

Я только заметил, что мой ноутбук начал работать значительно медленнее. Я использую обновленное 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 независимо от аппаратных ограничений. Первоначально губернатор был "по требованию", поэтому я изменил его на "производительность", чтобы увидеть, имеет ли это значение, которое он не сделал. Никакое количество вызывающих cpufreq-set или cpufreq-selector не изменяет частоту.

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