trace_printk(9) on Linux

The text c4c2d9600b88, as Debian 8 (Jessie) shipped it. The page shows this text now.

printf formatting in the ftrace buffer

trace_printk(9) on Linux now