Actually, I tried to move cmd_verbose.c to ppsi, and avoid
this dependency, but our use of --gc-sections would prevent
the code to be picked into wrc.o.

Hopefully, we won't need to touch this command any more.
Signed-off-by: Alessandro Rubini <rubini@gnudd.com>