Update kprintf.c