https://kirelos.com/how-do-i-change-the-grub-timeout-in-linux/