Kernel time printk type fix