Add temporary log output

Currently the kernel idle process is an infinite loop printing logs,
with no locking.

src/kernel/log.h

@@ -11,6 +11,7 @@ namespace logs {
 #undef LOG
 
 void init();
+void output_logs();
 
 } // namespace logs