Possible kernel bug in tcp.c?