OP-TEE header

Adds support for the new OP-TEE header