[ros-kernel] some patches to fix some warnnings

[Eric Kohl]

Jonathan,

I think we will have to disable the printf-format warnings because format
specifiers like '%I64x', '%I64u', '%I64d', '%Z', '%wZ' and probably some
more, are perfectly valid but they are unknown to GCC. Changing format
specifiers, like '%I64u' to '%llu', in order to 'fix' the warnings is not an
option either. The only way to fix the problems is to let GCC know about the
'new' formats or ignore its warnings.

Regards,
Eric