Correct some broken printf() like format mismatches

Fix two places where a printf()-style format string does not match the
arguments passed.

Reported-by: Nicolas Iooss <[email protected]>
Signed-off-by: David Gibson <[email protected]>
2 files changed