CreateShellStream throwing "Failed to open a channel after 10 attempts" because LocalPacketSize is too big for server side

[tnxfi]

I ran into a problem where an old Extreme Networks switch was always giving “Connect failed: hostname, Renci.SshNet.Common.SshException: Failed to open a channel after 10 attempts” in response to an attempt to call CreateShellStream.

After some debugging I found out that in ChannelSession.cs “private void SendChannelOpenMessage()” ends up setting LocalPacketSize as 65536.
For some reason that switch seems to operate on signed ints and only allows maximum value of 32768. Anything above that and the channel creation error is guaranteed.

For my use I can setup needed correction in source, but could there be a generic way to setup the value in the creation of ShellStream?
Also this servers as FYI for anyone hitting their head against the same problem.