Signed-off-by: Anders Dellien anders.dellien@arm.com Change-Id: I68e1f839cb5f8272aeddafec2b8bc79ac6cfccca