Re: [U-Boot] [PATCH v1 0/3] Enable PSCI services for booting Linux