O vídeo que você acabou de assistir é 100% legítimo para atualizar seu kernel. Para resumir as coisas, você basicamente faz o download de 4 arquivos do kernel
- imagem do Linux
- Linux-image-extra
- Linux-headers-generic
Você faz o download dos 3 primeiros com base no seu bit do sistema operacional para 32 bits - i386 ou 64 bits - AMD64
O
- Linux-headers-all
é para a arquitetura de ambos os SO
depois de ter esses arquivos baixados, abra o terminal e localize os arquivos que você acabou de baixar usando
cd
comando e, em seguida, simplesmente execute o processo de instalação executando
sudo dpkg -i linux * .deb
Note que é bom remover todos os outros arquivos .deb da pasta que você está baixando os arquivos do kernel para que eles não sejam danificados durante a instalação.