This allows the arch-specific Makefile to set CONFIG_NO_PRINTF, it it
knows no printf is needed from ppsi (applies to wrpc and bathos).

Signed-off-by: Alessandro Rubini <rubini@gnudd.com>