Now pushed the patch. Please test KOTD (OBS Kernel:stable repo) later tomorrow, which should contain the fix. Feel free to reopen if it still fails. Thanks.