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