Re: GRUB_DEFAULT entry