Add a section in the Networking lab on using [specific printing formats for IP address](https://www.kernel.org/doc/Documentation/printk-formats.txt), such as `%pI4`. Add examples.