[coreboot-gerrit] Patch merged into coreboot/master: google/gru: add board name

[gerrit at coreboot.org]

the following patch was just integrated into master:
commit f9cbe353193a506fb687f137ddd7b082b0da5a49
Author: Vadim Bendebury <vbendeb at chromium.org>
Date:   Tue Apr 26 14:43:53 2016 -0700

    google/gru: add board name
    
    Gru is the common name of a set of coreboot boards, each of them has
    the config option BOARD_GOOGLE_GRU enabled. Now we need to add the
    actual board called Gru to the set. Let's rename the common config
    option to BOARD_GOOGLE_GRU_COMMON and use BOARD_GOOGLE_GRU for the
    actual board.
    
    BRANCH=none
    BUG=none
    TEST=with corresponding depthcharge and configuration space changes it
         is possible to build the Gru board which boots the kernel using
         the proper compatibility string of google,gru-rev0
    
    Change-Id: I363d4b690b7549f50ed75d77b56e6a1e1d17b60f
    Signed-off-by: Patrick Georgi <pgeorgi at chromium.org>
    Original-Commit-Id: 327ecc0de20ac0b93ec3cd28ef398393d4ea7c42
    Original-Change-Id: Ia43278225c2d32d2af37193a77ea792551c9f8d9
    Original-Signed-off-by: Vadim Bendebury <vbendeb at chromium.org>
    Original-Reviewed-on: https://chromium-review.googlesource.com/340793
    Original-Reviewed-by: Julius Werner <jwerner at chromium.org>
    Reviewed-on: https://review.coreboot.org/14724
    Tested-by: build bot (Jenkins)
    Reviewed-by: Stefan Reinauer <stefan.reinauer at coreboot.org>


See https://review.coreboot.org/14724 for details.

-gerrit