[coreboot-gerrit] Patch merged into coreboot/master: intel/common: Print board ID if enabled

[gerrit at coreboot.org]

the following patch was just integrated into master:
commit 91da91f5d1ac3a1c2671771f18495fc3b703fae5
Author: Duncan Laurie <dlaurie at chromium.org>
Date:   Fri Sep 4 13:47:34 2015 -0700

    intel/common: Print board ID if enabled
    
    Read and print the board ID if it is enabled in the mainboard.
    
    BUG=chrome-os-partner:40635
    BRANCH=none
    TEST=emerge-glados coreboot
    
    Change-Id: I9d50089242b3a2f461dff2b1039adc8f0347179e
    Signed-off-by: Patrick Georgi <pgeorgi at chromium.org>
    Original-Commit-Id: f245854b30c40eda38453c1b0ae5d3b8b18c010f
    Original-Change-Id: Ifbd7c2666820ea146dc44fbc42bfe201cb227ff6
    Original-Signed-off-by: Duncan Laurie <dlaurie at chromium.org>
    Original-Reviewed-on: https://chromium-review.googlesource.com/297756
    Original-Reviewed-by: Aaron Durbin <adurbin at chromium.org>
    Reviewed-on: http://review.coreboot.org/11577
    Tested-by: build bot (Jenkins)
    Reviewed-by: Paul Menzel <paulepanter at users.sourceforge.net>
    Reviewed-by: Aaron Durbin <adurbin at chromium.org>


See http://review.coreboot.org/11577 for details.

-gerrit