Reboot after update starts latest kernel by default. I'd rather it didn't

[stephane]

see this

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