The PPSi daemon can now be selected in Kconfig. This commit
changes configuration and the build scripts to support either of them.
Signed-off-by: Alessandro Rubini <rubini@gnudd.com>