# Uncomment to make GRUB remember the last selection. This requires # setting 'GRUB_DEFAULT=saved' above. GRUB_SAVEDEFAULT=true