(In reply to Michael Hirmke from comment #4) > Unfortunately 4.12 is still not in Tumbleweed, That's really unfortunate. Moreover, the fix is present in 4.11.9 stable update but TW is still on 4.11.8. Bad luck indeed. > but I use the kernel from the stable repo, which contains the necessary fixes. Good. Hopefully Tumbleweed will move to 4.12 soon.