Optee 140814

Build instructions available at https://github.com/jenswi-linaro/optee_os/blob/atf_140814/documentation/arm_trusted_firmware.md

The OP-TEE Dispatcher is much like the TSPD, perhaps we should try to share code between them before merging.