Re: [U-Boot] [PATCH v2 00/13] ARMv7: add PSCI support to u-boot