Break out tcp_output() spinning problem from socket buffer corruption in
tcp_output(): the latter is fixed and merged, but the former remains a
problem. Note that it is actively being worked on.