[ajross]

Of course. Even better (best of both worlds, really) would be to run a 64 bit kernel with an x32 userspace: https://sites.google.com/site/x32abi/

But those are still bleeding edge options for people comfortable with tinkering with their systems. I was speaking to the simple choice of i686 vs. x86_64 in pre-cooked systems.