Re: [opensuse-kernel] kernel downgraded in 12.3 RC2?