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