Use the sysutil library's printf code also for the kernel.

kernel/Makefile

@@ -14,7 +14,7 @@ CFLAGS = -I$i
 LDFLAGS = -i 
 
 HEAD =	mpx.o
-OBJS =	start.o protect.o klib.o table.o main.o proc.o \
+OBJS =	start.o protect.o klib.o table.o kprintf.o main.o proc.o \
 	i8259.o exception.o system.o clock.o utility.o debug.o
 SYSTEM = system.a
 LIBS = -ltimers