Signed-off-by: Tintu Thomas tintu.thomas@arm.com Change-Id: Icba249d78e24e89a4ee7303761b7b6c208e136e1