Make sure EFI config is set, reset build directory before EFI build

script/prep-release.sh

@@ -66,6 +66,8 @@ mv netboot.xyz-gce.tar.gz ../../build/ipxe/netboot.xyz-gce.tar.gz
 
 # generate EFI iPXE disks
 cp config/local/general.h.efi config/local/general.h
+cat config/local/general.h
+make clean
 make bin-x86_64-efi/ipxe.efi EMBED=../../ipxe/disks/netboot.xyz
 error_check
 mv bin-x86_64-efi/ipxe.efi ../../build/ipxe/netboot.xyz.efi