Grub boot menu for Gnome Shell