[U-Boot] ARM: PSCI 0.1 vs 0.2

Hi Marc,

what is the motivation to expose a PSCI 0.1 interface in U-boot, instead of 0.2? Support for preexisting users of 0.1? The kernel seems to be happy with both, and I'm now wondering if we should actually add the legacy version to Jailhouse as well (I hope we can avoid this).

Still studying the logic: Is it possible to provide both interfaces, and would it make sense?

Jan