Hi William --
I am encountering the exact same problem. I wanted to also run ping_rpmsg from the ipc demos but that did not work with a similar error, address protocol not supported. However, the required patches are in the sockets.h file.
Have you had any resolution on this problem?
Thanks,