[TCP]: Handle SACK'd packets properly in tcp_fragment().