Re: [Tee-dev] Query regarding ARM PSCI interface enablement in OP-TEE.