https://blog.it-kb.ru/2015/10/30/change-the-default-boot-kernel-in-grub-on-ubuntu-linux/