This works in my host simulation, and is not tested yet on real hw.

As it is now, it won't build if CONFIG_IP is not set in wrpc-sw, so
it can't be merged until this is fixed.
Signed-off-by: Alessandro Rubini <rubini@gnudd.com>