StanislausK
(usa FreeBSD)
Enviado em 28/08/2019 - 16:17h
Ola,
"Esse é um Kernel é modificado pela fabricante do meu notebook?"
Sim, infelizmente. O Debian 9 usa o kernel 4.9. O grande problema do seu sistema é:
Linux Kernel 4.17 chega ao fim da vida, não há mais suporte, atualize!
https://sempreupdate.com.br/linux-kernel-4-17-chega-ao-fim-da-vida-nao-ha-mais-suporte-atualize/
O kernel instalado em seu equipamento não tem mais suporte, desde 09/2018. Quando você comprou o seu equipamento?
Recomendo reclamar, ou se você não tiver paciência, instalar por sua conta e risco o Debian 10 (que vem com o kernel
4.19)! Não sei o do porque veio com essa versão obsoleta! Talvez tenha algum componente de seu equipamento que necessite... por isso, não recomendo instalar o Debian 9... Ou instale uma outra distro, como Linux Mint e Ubuntu...
No terminal digite o comando lspci e guarde essas informações para futura referência...