include: increase sockets from 8 to 12

This is a safe measure before adding UDP support, which adds a socket.
And we have other ongoing net-related activities too, so I'd better
spend 16 bytes now and feel safer.
Signed-off-by: Alessandro Rubini <rubini@gnudd.com>