Re: [opensuse-kernel] Evergreen 13.1 kernel - revisited