By default, it seems that Guix installs the EFI bootloader to "EFI/Guix/grubx64.efi".

I want to specify the location in config.scm, so that Guix installs the bootloader to the standard "EFI/BOOT/BOOTX64.EFI", where even the dumbest UEFI implementations will find it automatically.

My imperative solution is to manually move the EFI file after every Guix update, but that is easy to forget. I'd rather solve the problem declaratively with Guix. I could not find any way to specify the bootloader location in the Guix manual, so I'm asking here.

I am also curious if Guix supports installing both a BIOS bootloader and an EFI bootloader simultaneousy (I haven't tested it yet). I used to do this on OpenBSD because it maximizes my chances of being able to boot successfully on any x86_64 system.