TCP/IP port buffer size

Domino 12 has changed the TCP/IP port buffer default size from 4000 to 8000.

This change applies to all 64-bit platforms.