I was able to `make bin-x86_64-efi/ipxe.efi` by commenting out ".arch i386" (and sometimes i486 or i586) lines in various .S files under arch/x86/
The result netbooted fine and did the job. I assume something changed in the compiler or assembler at some point, so this is only a pointer in that direction, not a real fix. ..ciaran
