Documentation: update printk-formats.txt