Re: [opensuse-factory] Bad installation kernel?