tcp_input: remove comments and assertions about tcpbinfo locking
They aren't valid since d40c0d47cd2.