Translations:UEFI - Install Guide/75/en

Now inside the /boot/efi/EFI/Boot/ folder, there should already be a file present:

bootx64.efi