Change the grub menu item using update-grub (Switching kernels)
https://unix.stackexchange.com/questions/198003/set-default-kernel-in-grub/327686#327686