ARM: tegra: Add GIC for Tegra30