[PATCH 40/45] firmware/psci: Expose PSCI conduit