tcp_queue_pkts() is only used if TCPHPTS is defined (and it is not by
default).

Reported by:	gcc