Third attempt to shut up the warble build printf() warning.

(resorting to an explicit cast this time)

Change-Id: Ib5fc7bcd9e573cd32fc4372003c6c5429e339652
1 file changed