[Tee-dev] [edk2][PATCH v3 1/1] Add ArmPkg/Optee library APIs