Merge pull request #1488 from b49020/integration

synquacer: Enable optional OP-TEE support