That's good at least for you :) Then one more favor: could you check whether 4.2.x kernel works, too? It's available in OBS home:tiwai:kernel:4.2 repo.