d7c176e9b532 ("docs: printk-formats: update size-casting examples")