OP-TEE/optee_os — pull request #80 by jenswi-linaro (2014-10-21 10:32:41+00:00)
Title: Cpsr fix

Adresses the problem with
```
CORE:_assert_log:37: Assertion ‘(read_cpsr() & CPSR_FIA) == CPSR_FIA’ failed at core/arch/arm32/kernel/thread.c:244
```