moved socket.c to in-kernel
added socket stub files
cleaned up header files