Fix lib/printk
Fix lib/printk