#4138 fix warnings - format string in printk