Re: [opensuse-kernel] Current upstream kernel in OBS?