Signed-off-by: Paul Szczepanek <paul.szczepanek@arm.com> Signed-off-by: Vincent Coubard <vincent.coubard@arm.com>