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