At this point, one should be able to build an x32 kernel.

Note that for now we depend on CONFIG_IA32_EMULATION.  Long term, x32
and IA32 should be detangled.
Signed-off-by: NH. Peter Anvin <hpa@zytor.com>