Fixing u5500_svp build error due to tee kernel patch. Updated with review comments!

ST-Ericsson Change ID: ER264554

Signed-off-by: Mian Yousaf Kaukab <mian.yousaf.kaukab@stericsson.com>
Change-Id: Id39874bd04211a0590e94a5ad32f372974bad294
Reviewed-on: http://gerrit.lud.stericsson.com/gerrit/2542
Reviewed-by: Jonas ABERG <jonas.aberg@stericsson.com>
3 files changed