tf_printf: Return number of printed characters
Antonio Nino Diaz authored
The C standard says that printf() has to return the number of characters
it has printed.

Change-Id: I0ef50b1d6766d140724ac0a2fa2c5d023431f984
Signed-off-by: default avatarAntonio Nino Diaz <antonio.ninodiaz@arm.com>
cb6dbfe3