debug.h: kernel printing macros