Various fixes in build_optee.sh after updating OP-TEE to v4.1

Merge request reports

Loading