x86_64 size_t is not an int but the printf format specifier for size_t
should be an int.
Signed-off-by: NMark Brown <broonie@opensource.wolfsonmicro.com>
Reported-by: NStephen Rothwell <sfr@canb.auug.org.au>