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