This fixes the previous commit, which prevented to build wrpc-sw with
CONFIG_PTP_NOPOSIX (silly me).
Signed-off-by: Alessandro Rubini <rubini@gnudd.com>