EFI development tools

[Dieter BSD]

> This is a known issue, and had been around for a long time.
> You can't reliably build 32 bit binaries (what the -m32 flag specifies)
> on a 64 bit system. The header files (and possibly other things) are wrong.

People build 32 bit binaries on 64 bit systems all the time.
It is called cross-compiling. I rather doubt that just
setting the -m32 flag is sufficient to set up a proper
cross-compiling environment.