THe previous version of the file was not working, both because
of a typo and because ppsi currently fails if wrsh_hal is not
ready.  This adds a polling loop to wait for the mini-rpc socket to
be available.
Signed-off-by: Alessandro Rubini <rubini@gnudd.com>