fix kprintf