Another way could be to setup a EFI/ubuntu/grub.cfg to set the real prefix to EFI/$(GRUB_DISTRIBUTOR).
Regards.
Another way could be to setup a EFI/ubuntu/grub.cfg to set the real prefix to EFI/$(GRUB_ DISTRIBUTOR) .
Regards.