Sorry for the delay, I'm back from vacation now. Looks like the virtual machine I've installed previously does not boot at all with the debug kernel I've installed there. I will try to do a new Tumbleweed installation. Have the fix made it to the Tumbleweed snapshot meanwhile?