removed conflicting prototype for kprintf