Fix for GRUB_SAVEDEFAULT=true