Alessandro Rubini authored 12 years ago and Grzegorz Daniluk committed 12 years ago

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>