ARM: psci: add support for PSCI invocations from the kernel