Verifica que los archivos de cabecera del kernel que estes usando esten instalados.En caso de que estes usando Debian introduce estos comandos :