[opensuse] 64bit Kernel and 32bit Userland - how to do it?