https://thelinuxchannel.org/2023/10/ubuntu-boot-time-grub-boot-menu-and-timeout/