Add kerneldoc documentation for new printk format extensions