Re: [PATCH 0/2] Fix OP-TEE support