Re: [PATCH] optee: sync OP-TEE headers