printf with missing argument. Introduced in a8733f10, 52 commits ago.

I didn't notice because I was not using CONFIG_PPSI_RUNTIME_VERBOSITY
(as expected, the preprocessor hit again).
Signed-off-by: Alessandro Rubini <rubini@gnudd.com>