Ok, /boot/efi has a subdirectory: EFI.
Inside /boot/efi/EFI is a single file, labeled "Void Linux [GRUB]".