Caso deseje , você poderá atualizar facilmente o kernel do Linux Mint 17 usando o Gerenciador de Atualizações.

Para isso, siga os passos abaixo:

1. Abra: Gerenciador de Atualizações → Ver → Kernels Linux 2. Selecione o kernel que deseja usar e clique em: Install the Kernel 3. Aguarde instalação, abra o terminal e rode o comando:

sudo update-grub

Ou, abra e atualize o Grub-Customizer (se o tiver instalado): 4. Reinicie o PC.