the pp_printf_defconfig was the trial version for pp_pritnf as an
alternative to mprintf, so it is not needed any more.  All other
defconfig were working already, but I'd better regenerate them with
the current defaults.
Signed-off-by: Alessandro Rubini <rubini@gnudd.com>