[coreboot-gerrit] Patch merged into coreboot/master: 5985936 tegra132: use generic GIC driver

the following patch was just integrated into master:
commit 5985936411eef8da3ecbdfc2051b64c0d5553dc2
Author: Aaron Durbin 
Date:   Thu Sep 11 21:54:58 2014 -0500

tegra132: use generic GIC driver

As the arm64 boot flow handles initializing the GIC by
    way of the driver provide the SoC support for that
    driver and use it.

BUG=chrome-os-partner:31945
    BRANCH=None
    TEST=Built and booted kernel on ryu.

Change-Id: I6ba20339be8fc823e241b4299ad6c3deb82799fa
    Signed-off-by: Patrick Georgi 
    Original-Commit-Id: 582cd9cef58e27aef2ce9c9b4fba4a78365bec6e
    Original-Change-Id: I34efaf28369377f353b4c51d20d19c9433befda4
    Original-Signed-off-by: Aaron Durbin 
    Original-Reviewed-on: https://chromium-review.googlesource.com/217514
    Original-Reviewed-by: Furquan Shaikh 
    Reviewed-on: http://review.coreboot.org/9077
    Tested-by: build bot (Jenkins)
    Reviewed-by: Edward O'Callaghan

See http://review.coreboot.org/9077 for details.

-gerrit