Add fsys_fcntl_int and fsys_recvmsg