[U-Boot] [PATCH v4 11/23] ARM: tegra: Add GIC for Tegra30