Linux TCP/IP stack port for DPDK