Re: [Tee-dev] [edk2][PATCH v2 0/2] Add ArmPkg/Optee library APIs