Global Platform TEE Internal core API review

Change-Id: I2dbbafb8a99837a88801c51d7835f7e1bed2ace5
Signed-off-by: Tanel Dettenborn <dettenbo@cs.helsinki.fi>