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