X32 support has been checked into Linux kernel v3.4-rc1.
I started submitting x32 glibc and GDB patches. I added
TLS specification to x32 psABI:
https://sites.google.com/site/x32abi/documents/abi.pdf?attredirects=0&d=1
I am planning to submit x32 extension to x86-64 psABI
soon if there are no major issues.
Thanks.
--
H.J.