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