kernel/printk.c: comment fix