printk: fix syslog() overflowing user buffer