Created attachment 868714 [details] The kernel from http://download.opensuse.org/repositories/home:/tiwai:/bsc1214073/standard/ boots normally, its dmesg output Should I test the second one too?