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