Re: Adding options to grub