Optee 140908

Fixed review comments from PR https://github.com/ARM-software/arm-trusted-firmware/pull/188