[$] Reconsidering x32 — again

The x32 ABI was meantto be the best of both worlds, providing the expanded registers andinstruction set of the x86-64 architecture while preserving the lowermemory use of 32-bit systems. The Linux kernel has supported x32 since the3.4 release in 2012. The initial excitement around x32 did not last,though, and kernel developers are considering removing that support - andnot for the first time. Even the most unloved features tend to have a fewusers, though, making removal hard.