If you "export CONFIG_NO_PRINTF=y", no printf will be built in the
binary. This is needed when ppsi is built within wrpc-sw (which has
its own pp_printf implementation).

This will become a Kconfig item, when Kconfig is added.
Signed-off-by: Alessandro Rubini <rubini@gnudd.com>