[kernel] interrupt.c: better debug macro. should move it out somewhere common
[kernel] uh, double semicolon
[kernel] debug.h with some common debugging macros
[kernel] rename terminal_putchar -> terminal_writechar for consistency