Ensure that tcp_rx() always frees its received packet buffer.