[PATCH] Fix printf hex mixed formats

[Nick Clifton]

Hi David,

> The regexp '0x%[0-9]*l*[ud]' found me a bunch of printf format
> strings which printed 0x but then formatted a decimal number.
> 
> Please review and merge,

Approved and applied.

Cheers
  Nick