Como efetivamente atualizar o kernel no Debian?

Salve, forummates :wink:

Quando rodo o uname -r, surge-me isto: 4.19.0-6-amd64. Mas quando abro o grub-customizer, tenho isto:


Então, como posso EFETIVAMENTE atualizar o kernel do Debian para o mais recente?

Cptos