Old kernel still in use when installing a new kernel

[stephane]

you need this option for GRUB

GRUB Menu Not Showing On Boot, Boots into Default Kernel Instead

update your Grub menu GRUB_TIMEOUT_STYLE=menu sudo nano /etc/default/grub sudo update-grub