vppinfra: fix bug in default_socket_sendmsg