Fixed coding standard in pico_ipv6.c