Signed-off-by: Tintu Thomas <tintu.thomas@arm.com> Change-Id: I785715678d68688b45f21aec634210732e731057