Re: [opensuse-kernel] Getting the correct kernel