9704 move socket functions to libc

*** 27,39 ****
   * Use is subject to license terms.
   */
  
          .file   "_so_setsockopt.s"
  
! /* C library -- _so_setsockopt                                  */
! /* int _so_setsockopt (int socket, int level, int option_name,  */
! /*       void *option_value, size_t option_len, int vers);      */
  
  #include "SYS.h"
  
          SYSCALL2_RVAL1(_so_setsockopt,setsockopt)
          RET
--- 27,41 ----
   * Use is subject to license terms.
   */
  
          .file   "_so_setsockopt.s"
  
! /*
!  * C library -- _so_setsockopt
!  *
!  * int _so_setsockopt(int, int, int, const void *, socklen_t, int);
!  */
  
  #include "SYS.h"
  
          SYSCALL2_RVAL1(_so_setsockopt,setsockopt)
          RET