printk: hash addresses printed with %p