Enable EFI build of netboot.xyz

ipxe/local/general.h.efi

@@ -0,0 +1,6 @@
+#define DIGEST_CMD            /* Image crypto digest commands */
+#define DOWNLOAD_PROTO_HTTPS  /* Secure Hypertext Transfer Protocol */      
+#define IMAGE_TRUST_CMD	      /* Image trust management commands */
+#define NET_PROTO_IPV6        /* IPv6 protocol */
+#define REBOOT_CMD            /* Reboot command */
+#define VLAN_CMD              /* VLAN commands */

script/prep-release.sh

@@ -54,14 +54,13 @@ do
 done
 
 # generate EFI iPXE disks
-#for ipxe_config in `ls ../../ipxe/disks/`
-#do
-#  # Remove general.h options for testing, doesn't like COMBOOT
-#  rm config/local/general.h
-#  make bin-x86_64-efi/ipxe.efi EMBED=../../ipxe/disks/$ipxe_config
-#  error_check
-#  mv bin-x86_64-efi/ipxe.efi ../../build/ipxe/$ipxe_config.efi
-#done
+for ipxe_config in `ls ../../ipxe/disks/`
+do
+  cp config/local/general.h.efi config/local/general.h
+  make bin-x86_64-efi/ipxe.efi EMBED=../../ipxe/disks/$ipxe_config
+  error_check
+  mv bin-x86_64-efi/ipxe.efi ../../build/ipxe/$ipxe_config.efi
+done
 
 # return to root
 cd ../..