kdump: Add a facility to print numbers always in decimal format

[dchagin]

Summary

To help grepping kdump output by pid or tid it makes sence to print
some numbers in decimal format always. Eg, process or thread identifier
atleast, as they already printed in decimal format.
Switch to print pid/tid/ arguments of some Linux signal related syscalls
in decimal format.

MFC after: 1 week

[jhb]

I wouldn't mind spelling out "decimal". File descriptor arguments are also good candidates for always printing as decimal BTW.

[dchagin]

In D40099#914847, @jhb wrote:

I wouldn't mind spelling out "decimal".

ok, thanks. are you ok if I change native syscalls (signals related, for start) too?
by separate chang of course

File descriptor arguments are also good candidates for always printing as decimal BTW.

Yeah, next time )

[jhb]

In D40099#917174, @dchagin wrote:

In D40099#914847, @jhb wrote:

I wouldn't mind spelling out "decimal".

ok, thanks. are you ok if I change native syscalls (signals related, for start) too?
by separate chang of course

Yes, please.