[Tee-dev] [edk2][PATCH v4 1/1] ArmPkg/OpteeLib: Add APIs to communicate with OP-TEE