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