Bug#708070: enable x32 support for the amd64 kernels

[Ian Campbell <ijc@hellion.org.uk>]

On Thu, 2014-07-24 at 13:20 +0200, Carlos Alberto Lopez Perez wrote:
> I was just hit by bug https://bugs.debian.org/736659 after installing
> gcc-multilib and later rebuilding my initramfs.
> 
> I don't think this situation of having several x32 packages on the
> archive (which other packages depend on) while the official debian
> kernel don't supports x32 at all is sustainable in the long run.
> 
> Please consider enabling CONFIG_X86_X32 on 3.14 and superior.

I think Ben has been pretty clear in his first reply to this bugreport
about what needs to happen first.

Ian.