The ppsi subproject now builds pp_printf by default, so the Makefile here
passes ~CONFIG_NO_PRINTF=y". Also, assign_TimeInternal() is not there
any more because it is just an assignment.
Signed-off-by: Alessandro Rubini <rubini@gnudd.com>