Re: [U-Boot] ARM: PSCI 0.1 vs 0.2