Use linux/socket.h from thalamus kernel