Update kprintf.h