This is needed to build ppsi on the host with arch-wrpc, that
I'm using to developer udp on ppsi::wrpc-sw
Signed-off-by: Alessandro Rubini <rubini@gnudd.com>