Symbol: fssh_kernel_debugger