I guess you are best off following the step by step instructions in Tom’s post (‘Build iPXE from source’). The first part is about building normal BIOS iPXE binaries (undionly.kpxe). So after cloning the repository (step one) and changing into the source directory (step two) you better skip 3, 4, 5 and 6 and jump straight to step one of building an EFI binary!
Make the changes in config/general.h (config/console.h is ok as it is for EFI) according to Tom’s example and then run the make command to build the binary:
[CODE]$ make bin-x86_64-efi/ipxe.efi EMBED=ipxescriptfile DEBUG=efi_init,efi_snp
…
[FINISH] bin-x86_64-efi/ipxe.efi
rm bin-x86_64-efi/version.ipxe.efi.o
$ sudo cp bin-x86_64-efi/ipxe.efi /tftpboot
$ make bin-x86_64-efi/snponly.efi EMBED=ipxescriptfile DEBUG=efi_init,efi_snp
…
[FINISH] bin-x86_64-efi/snponly.efi
rm bin-x86_64-efi/version.snponly.efi.o
$ sudo cp bin-x86_64-efi/snponly.efi /tftpboot
$ sudo chown root:root /tftpboot/*.efi[/CODE]