Add vprintf() in standard C library

This is a trivial, unoptimised implementation.

Change-Id: Ia05a3fbbc7582583f7e8ae06e464c96a6b4e766d
Signed-off-by: Sandrine Bailleux <sandrine.bailleux@arm.com>
2 files changed