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

the following patch was just integrated into master:
commit 08492f70b79bbda54e6765949e7ee9aa98344b71
Author: Kan Yan 
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 
    Original-Commit-Id: 63bd6541055172765c31a9b1220a24d4e3604cdc
    Original-Change-Id: I21a8764ff95892430944778f4898d2f1d4c97fd7
    Original-Signed-off-by: Kan Yan 
    Original-Reviewed-on: https://chromium-review.googlesource.com/362391
    Original-Reviewed-by: David Hendricks 
    Reviewed-on: https://review.coreboot.org/15949
    Tested-by: build bot (Jenkins)
    Reviewed-by: Furquan Shaikh 
    Reviewed-by: Paul Menzel

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

-gerrit