OK, then could you check the 5.0.x kernel in OBS Kernel:stable repo as well? IOW, does any new kernel work properly?