Now that we have vprintf, we can save a buffer in the stack and
simplify pp_diag_printf and pp_timed_printf.
Signed-off-by: Alessandro Rubini <rubini@gnudd.com>