Fedora/x86_64 vs 32-bit user space