Cabeçalhos do kernel após atualizar os kernels de 3.5.7 para 3.9.0

Question

Eu atualizei meu kernel no Ubuntu 12.04 para obter acesso aos cabeçalhos include/uapi/ .
A versão completa do kernel para a qual atualizei é 3.9.0-030900-generic , seguindo este tutorial .

Infelizmente, os cabeçalhos parecem ter permanecido os mesmos porque o diretório uapi não existe. Para diagnosticar o problema, tentei fazer o download do código fonte do meu kernel 3.9 com:

sudo apt-get source linux-image-$(uname -r)

No entanto, a saída é

Picking 'linux' as source package instead of 'linux-image-3.9.0-030900-generic'

E isso resulta na origem do kernel para 3,2 ser baixado em vez de 3,9.

Qual ação devo tomar para instalar o kernel / headers corretamente?

Analisei esses dois posts antes de postar informações, sem sucesso:

• atualize os cabeçalhos do Linux quando o Kernel é atualizado
• Por que os cabeçalhos linux não são atualizados pelo apt-git dist-upgrade

Answer 1

Sugiro que você baixe e instale os cabeçalhos apropriados à sua arquitetura; 32 ou 64 bits, daqui: link