Where is BOOTX64.EFI?

Nobody should be editing their system EFI partition with Haiku, IMO. Just mount the Haiku EFI partition from another OS.