Sempre que o Ubuntu quiser atualizar meu kernel, não parece atualizar os cabeçalhos ao mesmo tempo. Isso faz com que alguns drivers não sejam recriados, como drivers sem fio e de caixa virtual. Eu sempre tenho que instalar manualmente os cabeçalhos após a atualização e depois reconstruir os drivers da caixa virtual
sudo apt-get install linux-headers-3.5.0-31-generic
sudo /etc/init.d/vboxdrv setup
Existe uma maneira de atualizar os cabeçalhos ao mesmo tempo? É muito frustrante, às vezes, se eu fizer isso em casa, só uso wireless e, depois da atualização, não posso atualizar os cabeçalhos, a menos que eu retire um cabo ethernet para conectar.
se você instalar uma versão específica do cabeçalho do kernel, eles não serão atualizados. Você tem que instalar o cabeçalho genérico
sudo apt-get install linux-headers-generic
O pacote de cabeçalho genérico atualizará os cabeçalhos toda vez que a imagem do linux for atualizada.