A macro for debug printing

src/kernel/include/debug.h

@@ -2,6 +2,8 @@
 #include <stddef.h>
 #include <stdarg.h>
 
+#define debug(...) debug_printf(__VA_ARGS__)
+
 void debug_putch(char c);
 void debug_putsn(char *s, size_t n);
 void debug_puts(char *s);