So far this only exposes two functions allowing the code to turn on additional CPUs. There is much more functionality defined by PSCI spec but so far its not needed by Genode. Fixes #3672