updated GRUB to support custom options