поиск / установка драйвера процессора для AMD FX 8350

Я очень плохо знаком с Linux, но я охотился несколько дней и не могу найти решение своей проблемы. Я пытаюсь использовать cpufreq для управления дроссельной заслонкой на моем процессоре (AMD FX-8350, 64-разрядная версия), но у меня, по-видимому, нет драйверов для процессора:

galaxy@MilkyWay:/$ cpufreq-info
cpufrequtils 008: cpufreq-info (C) Dominik Brodowski 2004-2009
Report errors and bugs to cpufreq@vger.kernel.org, please.
analyzing CPU 0:
  no or unknown cpufreq driver is active on this CPU
  maximum transition latency: 4294.55 ms.
analyzing CPU 1:
  no or unknown cpufreq driver is active on this CPU
  maximum transition latency: 4294.55 ms.
analyzing CPU 2:
  no or unknown cpufreq driver is active on this CPU
  maximum transition latency: 4294.55 ms.
analyzing CPU 3:
  no or unknown cpufreq driver is active on this CPU
  maximum transition latency: 4294.55 ms.

Я думаю, что драйверы, которые я есть возможность попробовать:

galaxy@MilkyWay:/$ ls /lib/modules/$(uname -r)/kernel/drivers/cpufreq/
amd_freq_sensitivity.ko  p4-clockmod.ko  speedstep-lib.ko

Но modprobe их не видит?:

galaxy@MilkyWay:/lib/modules/3.11.0-18-generic/kernel/drivers/cpufreq$ sudo modprobe amd_freq_sensitivity.ko
FATAL: Module amd_freq_sensitivity.ko not found.

То же самое происходит с любым из трех. Я попробовал несколько других твиков на modprobe и каждый раз, когда я получаю ФАТАЛЬНО. Я, должно быть, делаю какую-то глупую ошибку. Это даже правильные драйверы? Помогите!

РЕДАКТИРОВАТЬ: Я не знаю, имеет ли это значение, но у меня Ubuntu работает внутри VirtualBox.