[U-Boot] [PATCH v3 06/10] tegra: select ARM_GIC for Tegra TK1s

[Stephen Warren]

On 10/26/2016 06:10 AM, Antoine Tenart wrote:
> Select the newly introduced ARM_GIC option to the relevant configuration
> which also have a psci implementation.

This doesn't look right; all Tegras have a GIC, so it's not a 
board-specific option. Perhaps TEGRA_COMMON or TEGRA_ARMV[78]_COMMON 
should select this?