Re: [U-Boot] [PATCH v4 04/11] arm: select ARM_GIC for SoCs having a psci implementation