Re: [opensuse] Is it possible to upgrade to a 64 bit kernel?