Create kprintf.h