Re: [U-Boot] [PATCH 3/6] ARM: PSCI: protect GIC specific code with ARM_GIC