Saudações.
Sua dúvida refere-se a um Bug do Kernel:
https://bugs.launchpad.net/ubuntu/+source/linux/+bug/1299523http://ubuntuforums.org/showthread.php?t=2205627Instalei o 14.04 no dia do lançamento.
Como de costume, passei um final de semana inteiro fazendo testes e ajustes ao Sistema.
Uma grande e muito boa novidade foi que o driver proprietário
funcionou. Está fazendo inclusive a troca de gráficas de forma simples e eficaz.
Assim sendo, não custa tentar instalar os drivers proprietários que o Ubuntu oferece:
>Configurações do Sistema>Programas e Atualizações>Drivers Adicionais
Observando, apenas por garantia, que deve fazer um upgrade antes de tudo.
Também indico uma ferramenta de grande valia no controle de CPU e consumo:
indicator-cpufreq
Com isto, pode determinar em tempo real a velocidade do seu processador. Caso seja multi-core, fique tranquilo, todos os núcleos seguem a mesma configuração quando setado no indicador.
cat /proc/cpuinfo
Boa sorte.