https://www.tomek.cedro.info/grub2-default-boot-menu-entry/
GRUB2 default boot menu entry