wc core: allow for 8 sockets not 4, now that they are cheap

Signed-off-by: Alessandro Rubini <rubini@gnudd.com>

include/board-wrc.h

@@ -31,7 +31,7 @@
 #define UART_BAUDRATE 115200ULL
 
 /* Maximum number of simultaneously created sockets */
-#define NET_MAX_SOCKETS 4
+#define NET_MAX_SOCKETS 8
 
 /* Socket buffer size, determines the max. RX packet size */
 #define NET_MAX_SKBUF_SIZE 512