Re: [opensuse-factory] grub2 loads wrong kernel (was Leap 42.3 Build 0272 released!)