Add uintmax_t casts to silence printf format warnings.

The format strings weren't checked when stacksave_subr() used a function
pointer for printf instead of directly using db_printf().

Reported by: kib
Sponsored by: DARPA / AFRL