Update kern_debug.c