On 16- and 8-bit platforms, ssizte_t can only hold 2 byte (maximum
of 32767). So when calling sock_udp_recv() we can not pass it a
buffer exeeding this size without potially running into overflow
issues...