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>