Fix output format in system_timer.c

Change-Id: Id05eebb811d4c23c6a2bfdfb4762bb659b97a4bf
Signed-off-by: John Tsichritzis <john.tsichritzis@arm.com>
1 file changed