Tente isto:
-
Instale o pacote
dpkg-dev. Isso é necessário para o passo 2.sudo apt-get install dpkg-dev -
Faça o download do código fonte do kernel que você está usando atualmente:
apt-get source linux-image-$(uname -r)Isso criará um diretório em seu diretório atual que contém a origem do kernel. Por exemplo, no 13.10 executando a versão do kernel
3.11.0-12-generic, ele criou:/home/terdon/linux-3.11.0 -
Verifique se a opção está definida no arquivo
~/linux-3.11.0/.config:$ grep CONFIG_MODVERSIONS ~/linux-3.11.0/debian.master/config/config.common.ubuntu CONFIG_MODVERSIONS=y
Como você pode ver acima, a opção está configurada para y (on) por padrão, então presumivelmente, a menos que você tenha compilado seu próprio kernel, a opção é definida no kernel que você está usando.