Re: [U-Boot] [PATCH] arm: stm32mp1: add PSCI support