====  Change the grub menu item using update-grub (Switching kernels) ====

\\
https://unix.stackexchange.com/questions/198003/set-default-kernel-in-grub/327686#327686