Fast pre-boot

If your pre-boot (when you can choose among different SO) is too slow, you can reduce the time before the start of boot, modifying the file grub (in /etc/default), adding a line like this:

GRUB_RECORDFAIL_TIMEOUT=1

Indeed GRUB_TIMEOUT=0 could not work.