9704 move socket functions to libc

*** 27,38 ****
   * Use is subject to license terms.
   */
  
          .file   "_so_recv.s"
  
! /* C library -- _so_recv                                                */
! /* int __so_recv(int sock, void *buffer, size_t len, int flags)         */
  
  #include "SYS.h"
  
          SYSCALL2_RESTART_RVAL1(__so_recv,recv)
          RET
--- 27,41 ----
   * Use is subject to license terms.
   */
  
          .file   "_so_recv.s"
  
! /*
!  * C library -- __so_recv
!  *
!  * ssize_t __so_recv(int, void *, size_t, int)
!  */
  
  #include "SYS.h"
  
          SYSCALL2_RESTART_RVAL1(__so_recv,recv)
          RET