There are no plans to update Leap 42.3 kernel to version 4.13. Neither is to update drm-kmp to this version. We'll try to fix this issue in existing drm-kmp though, *if* we can reproduce the issue. At least we now have a Lenovo Thinkpad T470 available for testing, which may suffer from the same problem.