grub-efi: Allow to use file name different from grub.cfg in GRUBCFG