Remove printk specifier from printf