add grub option