Unfortunately for there I have no clue about what is the correct solution.
But I really need a warning-less build situation to integrate ppsi into
wrpc-sw.
Signed-off-by: Alessandro Rubini <rubini@gnudd.com>