https://remp3indir.net/ubuntu-decrease-grub-timeout-3-solutions/