Possivelmente você sabe como fazer, mas em todo caso fica aí o registro para quem igualmente precise ou queira.
mkdir ~/Downloads/newkernel
cd ~/Downloads/newkernel
VERSION=$(arch); if [ $VERSION == 'i686' ]; then DIRARCH=i386; else DIRARCH=amd64; fi
wget http://kernel.ubuntu.com/~kernel-ppa/mainline/v4.14/linux-headers-4.14.0-041400_4.14.0-041400.201711122031_all.deb
wget http://kernel.ubuntu.com/~kernel-ppa/mainline/v4.14/linux-headers-4.14.0-041400-generic_4.14.0-041400.201711122031_$DIRARCH.deb
wget http://kernel.ubuntu.com/~kernel-ppa/mainline/v4.14/linux-image-4.14.0-041400-generic_4.14.0-041400.201711122031_$DIRARCH.deb
sudo dpkg -i *.deb
sudo update-grub
Reinicie o sistema e suba usando o novo kernel
Para verificar o kernel em uso:
uname -ri
Evidentemente não é necessário digitar tais códigos, é sempre melhor com o mouse copiar aqui na página do Fórum, ainda com o mouse colar numa janela de terminal ( ou use as teclas Ctrl Shift V ) e dar um <enter> para executar, assim evitando erros de retranscrição.