GUI to choose the grub default boot entry.