Change-Id: Iebd670a8c327fe5cae443153e3792ba696f8816f
Signed-off-by: Nicola Mazzucato <nicola.mazzucato@arm.com>