cp /boot/boot1.efi /mnt/efi/boot/bootx64.efi
is easier :)
In P484#2311, @imp wrote: cp /boot/boot1.efi /mnt/efi/boot/bootx64.efi is easier :)
That assumes the EST has been formatted and mounted already