Kernel do Linux Educacional 5.0

Adquiri algumas máquinas com linux educacional 5.0 e as caixas de som não estão funcionando, em máquinas com Windows as caixas funcionam. O fabricante disse que é por conta do Kernel, pois o mesmo é baseado no ubuntu 14.04 com kernel 3.20.40, nesse caso a solução seria a troca do kernel por um mais novo acima do 4.0, pois abaixo disso apresenta problemas de compatibilidade com as placas mãe mais recentes, apresentando problemas no som e em alguns casos no video. Executo o comando para atualizar o kernel mas retorna uma mensagem de que não encontrou nada relacionado. Alguém poderia ajudar?

Olá. Essa máquinas são de algum pregão do MEC? São de que fabricante?

Você pode tentar atualizar o sistema todo com os comandos abaixo, provavelmente o kernel será atualizado também. Para executá-los entre no sistema com o usuário admin (senha admin) e abra um terminal. Pressione Y e Enter quando solicitado. Após procedimento ser completado reinicie o computador e teste as caixas de som.

sudo apt-get update
sudo apt-get dist-upgrade

Não são do MEC. As máquinas são da montadora NTC Computadores.
Vou tentar novamente com os comandos que forneceu e venho aqui passar um feedback.
Obrigado.

Bom dia @Bruno tenta instalar o LE6 já tem Kernel 4.4