[PATCH 10/10] tcp: Fix small error in tcp_seq_init() time handling