Grub menu gone

Edit /etc/default/grub and comment out the following lines (insert '#' at the beginning of the line):

GRUB_HIDDEN_TIMEOUT=0
GRUB_HIDDEN_TIMEOUT_QUIET=true