psci_setfunc
psci_setfunc(i, 0);
void psci_setfunc(enum psci_function, uint32_t);
psci_setfunc(PSCI_FUNC_CPU_ON, val);