start a tcpdump (to see the sequence number of a session) and run the following D program at the same time:
tcp:kernel::debug-input {
printf("seq %u\n", args[1]->tcp_seq);
}
before this patch (on a little endian machine), you'll see the wrong sequence number. after, it is the one you expected (and the same as in tcpdump)