Put most of the file inside #ifdefs, we only need
tcpip_input, tcpip_ipv6_output and tcpip_output for Pico]OS.