[coreboot-gerrit] Patch merged into coreboot/master: Kevin/Gru : Update Board ID table.

[gerrit at coreboot.org]

the following patch was just integrated into master:
commit d841da851205be103ad7de10c9604e853d844e55
Author: jongpil19.jung <jongpil19.jung at samsung.com>
Date:   Thu May 19 12:40:00 2016 +0900

    Kevin/Gru : Update Board ID table.
    
    Add board id table as kevin/gru configuration.
    
    BUG=chrome-os-partner:53519
    BRANCH=chromeos-2016.02
    TEST=check boot on Kevin board.
    
    Change-Id: I30c16916f3cda0ac88d2ce5a922e936a405fcc89
    Signed-off-by: Martin Roth <martinroth at chromium.org>
    Original-Commit-Id: 16c7b5486befd73c3e31624970ba1c97e526676f
    Original-Change-Id: Ib69ed9dad8e1a9e08717545c6be19a90e0298c43
    Original-Signed-off-by: jongpil19.jung <jongpil19.jung at samsung.com>
    Original-Reviewed-on: https://chromium-review.googlesource.com/345736
    Original-Commit-Ready: Vadim Bendebury <vbendeb at chromium.org>
    Original-Tested-by: Vadim Bendebury <vbendeb at chromium.org>
    Original-Reviewed-by: Vadim Bendebury <vbendeb at chromium.org>
    Reviewed-on: https://review.coreboot.org/15028
    Tested-by: build bot (Jenkins)
    Reviewed-by: Vadim Bendebury <vbendeb at chromium.org>
    Reviewed-by: Furquan Shaikh <furquan at google.com>


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

-gerrit