Re: [SLE] Kernel upgrade 32 bit to 64 bit?