Update printk.c