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

[gerrit at coreboot.org]

the following patch was just integrated into master:
commit 5985936411eef8da3ecbdfc2051b64c0d5553dc2
Author: Aaron Durbin <adurbin at chromium.org>
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 <pgeorgi at chromium.org>
    Original-Commit-Id: 582cd9cef58e27aef2ce9c9b4fba4a78365bec6e
    Original-Change-Id: I34efaf28369377f353b4c51d20d19c9433befda4
    Original-Signed-off-by: Aaron Durbin <adurbin at chromium.org>
    Original-Reviewed-on: https://chromium-review.googlesource.com/217514
    Original-Reviewed-by: Furquan Shaikh <furquan at chromium.org>
    Reviewed-on: http://review.coreboot.org/9077
    Tested-by: build bot (Jenkins)
    Reviewed-by: Edward O'Callaghan <edward.ocallaghan at koparo.com>


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

-gerrit