tcp: Fix tcp_mark_head_lost() with packets == 0