Re: [Tee-dev] [PATCH v6 02/10] xen/arm: optee: add OP-TEE header files