Do you still see the problem with the kernel in OBS Kernel:stable repo? It contains the build from the latest 5.1.x tree.