No synaptic eu encontro uma versão do kernel instalada ...> 4.15.0- 139.143 (o que é essa versão estranha que pontilha?) mas não consigo encontrar essa versão no apt-get. o problema é que o novo kernel atualizado (4.15.0-140-generic) não suporta um driver wifi de terceiros https://github.com/mattousamine/animated-lamp que estava funcionando bem em 4.15.0-139.143 .i tentei marcar o kernel, cabeçalhos e módulos do kernel instalado anteriormente, mas não adiantou.
então, existe alguma maneira de fazer o driver wifi funcionar para o kernel atualizado atual (4.15.0-140-generic)? ou para salvar as marcações anteriores do kernel no synaptic (salvei o estado completo, mas acho que há uma maneira melhor)?
você só precisa limpar (já que o make não substitui) o diretório antes do processo de recompilação para o novo kernel com:
então prossiga normalmente