Use vprintf() inside mp_printf()

This avoid making an extra copy of the string buffer.

Change-Id: Idd5d25741abed2a125669e0994f0a0f3e1f8ed4c
Signed-off-by: Sandrine Bailleux <sandrine.bailleux@arm.com>
1 file changed