[coreboot-gerrit] Patch merged into coreboot/master: google/gale: Change board ID definition.

[gerrit at coreboot.org]

the following patch was just integrated into master:
commit 08492f70b79bbda54e6765949e7ee9aa98344b71
Author: Kan Yan <kyan at google.com>
Date:   Thu Jul 21 10:51:47 2016 -0700

    google/gale: Change board ID definition.
    
    Change EVT3 board id to 5.
    
    BUG=chrome-os-partner:55320
    TEST=None.
    BRANCH=None
    
    Change-Id: I020be47e1fdbf886c7c471d7fdcace1537875b6d
    Signed-off-by: Martin Roth <martinroth at chromium.org>
    Original-Commit-Id: 63bd6541055172765c31a9b1220a24d4e3604cdc
    Original-Change-Id: I21a8764ff95892430944778f4898d2f1d4c97fd7
    Original-Signed-off-by: Kan Yan <kyan at google.com>
    Original-Reviewed-on: https://chromium-review.googlesource.com/362391
    Original-Reviewed-by: David Hendricks <dhendrix at chromium.org>
    Reviewed-on: https://review.coreboot.org/15949
    Tested-by: build bot (Jenkins)
    Reviewed-by: Furquan Shaikh <furquan at google.com>
    Reviewed-by: Paul Menzel <paulepanter at users.sourceforge.net>


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

-gerrit