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

the following patch was just integrated into master:
commit d841da851205be103ad7de10c9604e853d844e55
Author: jongpil19.jung 
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 
    Original-Commit-Id: 16c7b5486befd73c3e31624970ba1c97e526676f
    Original-Change-Id: Ib69ed9dad8e1a9e08717545c6be19a90e0298c43
    Original-Signed-off-by: jongpil19.jung 
    Original-Reviewed-on: https://chromium-review.googlesource.com/345736
    Original-Commit-Ready: Vadim Bendebury 
    Original-Tested-by: Vadim Bendebury 
    Original-Reviewed-by: Vadim Bendebury 
    Reviewed-on: https://review.coreboot.org/15028
    Tested-by: build bot (Jenkins)
    Reviewed-by: Vadim Bendebury 
    Reviewed-by: Furquan Shaikh

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

-gerrit