Could you check the more recent upstream kernel e.g. in OBS Kernel:stable repo? Also, to be sure, please check with OBS Kernel:SLE15-SP3 repo, too?