add: if (message) { dprintf(message); dprintf("\n"); };  dprintf("Welcome to Kernel Debugging Land...\n");
context: void kernel_debugger(){	dbg_save_registers(&(dbg_register_file[smp_get_current_cpu()][0]));	kernel_debugger_loop();}