Update kern_debug.h