Você deve ser capaz de instalar os arquivos de cabeçalho do kernel para o kernel atualmente em execução, executando o seguinte em um terminal:
sudo apt-get install linux-headers-$(uname -r)
Em geral, os pacotes de cabeçalho do kernel são nomeados como linux-header- *, onde "*" indica a versão & amp; variante (genérica, servidor, etc.).