Kernel: JDB kernel debugger not supported