[Tee-dev] [PATCH v6 preview 2/6] drivers: psci: replace psci firmware calls