[arch-general] 64 bit kernel with 32 bit userspace

Hi, based on the following forum entry, I would like to open this topic up for a wide discussion. https://bbs.archlinux.org/viewtopic.php?pid=1314594 Cheers, L.