[TCP]: secure_tcp_sequence_number() should not use a too fast clock