Re: [U-Boot] [RFC] [V2] [PATCH 0/8] a83t: Add initial PSCI / SMP support