Hmm, then could you try the kernel in http://download.opensuse.org/repositories/home:/tiwai:/bsc1192091/standard/ ? This was confirmed to work for bug 1192091.