kdump: nicer printing of kill(2) PID argument

Similar to wait*(), kill(2) operates on a pid that currently gets output
as hex. Output it in decimal to make it a little easier to eyeball the
pid we're signalling.

Reviewed by: markj
Differential Revision: https://reviews.freebsd.org/D50508