@SUSE_Insiders, don't you have a way to deploy a debugable kernel and a debuggable driver, so you can step through the code?