x32 is not 40% faster. Also, a usable x32 Linux system will not happen in the foreseeable future (perhaps never) because there's much software out there that doesn't work.
And no, x32 doesn't sound "great in theory". Even the theory is borked. Read:
And this comes from a Gentoo Linux dev even, and Gentoo is the first distro to actually support x32.