[LinuxBIOS] Broken build for kexec-boot-loader on tyan s2891

[Myles Watson]

If I configure tyan_s2891 to have Linux As Bootloader and include the kexec
tools, the build fails. Here's the last bit of the build log

gcc --32 -c -o kexec/x86-setup-32.o kexec/x86-setup-32.S
cc1: error: unrecognized command line option "-f32"

Is this another place where there should be quotes around flags being passed
around?

Myles