During discussion of issue #5706 strange kernel panics occured using different Genode releases. The remarkable observation is that althoug a kernel thread is supposedly identified, its register set looks clearly like a user-land context. Therefore, the detection seems to be false.