_kern_install_default_debugger
extern status_t _kern_install_default_debugger(port_id debuggerPort);
return _kern_install_default_debugger(debuggerPort);