printk-formats.txt: Better describe the difference between %pS and %pF