rem: add_debugger_command("reboot", &cmd_reboot, "Reboot");
add: add_debugger_command("reboot", &cmd_reboot, "Reboot the system");
context: dbg_init2(kernel_args *ka){	add_debugger_command("help", &cmd_help, "List all debugger commands");	add_debugger_command("reboot", &cmd_reboot, "Reboot");	add_debugger_command("gdb", &cmd_gdb, "Connect to remote gdb");	return arch_dbg_init(ka);}