Thanks. Again a new kernel is being built in the same OBS home:tiwai:bsc1190801 repo. The new kernel will have 5.3.18-*.g2c72f4d version. If this is confirmed to work, I'll submit the patch to upstream and backport to openSUSE kernels.