Signed-off-by: David Vincze <david.vincze@arm.com> Change-Id: I69ee2da7637363f5a50b9ef3aa3f0aaf5301714a