We are now strong with ppsi, remove any reference to ptp-noposix.
Signed-off-by: Alessandro Rubini <rubini@gnudd.com>