On 12/09/14 17:28, Hans Petter Selasky wrote: > > Maybe you can build and install a 64-bit kernel only, and the re-boot, > but userspace will still be 64-bit :-) ... userspace will still be 32-bit ... --HPS