... or maybe better to test the kernel in OBS home:tiwai:bsc1213578-4 at first: http://download.opensuse.org/repositories/home:/tiwai:/bsc1213578-4/pool/