tcp_timer.c: fix usage of timex_t
socket.c: fix usage of timex_t