Re: [Linaro-uefi] PSCI v0.2+ support in UEFi