Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>
Change-Id: Ia62b977d5f1893bfe82989983b4887dad327d7d2