Renamed to grub-config. Can now set multiple GRUB options passed to it.