Now using static buffers (and protecting with a semaphore) for kernel secprintf.

We have to do this because we need secure output in kmalloc.

kern/include/kern/test161.h

@@ -39,4 +39,8 @@ int success(int, const char *, const char *);
 int secprintf(const char *secret, const char *msg, const char *name);
 int partial_credit(const char *secret, const char *name, int scored, int total);
 
+#ifdef _KERNEL
+void test161_bootstrap(void);
+#endif
+
 #endif /* _KERN_TEST161_H_ */