Change-Id: Id9558de2e41b08c41cf7d4b458774e99e24515a0 Signed-off-by: Wei Chen <Wei.Chen@arm.com> Signed-off-by: Penny Zheng <Penny.Zheng@arm.com>