Adding options to grub