_kern_debug_output
extern void _kern_debug_output(const char *message);
_kern_debug_output(buffer);
_kern_debug_output(buffer);
_kern_debug_output(buffer);
_kern_debug_output(buffer);