[Aissen]

x32 has been accepted(and merged) for Linux 3.4. Kernel support is here, now it's userspace's turn.