[coreboot-gerrit] Patch merged into coreboot/master: 052b7fe Enable publishing of board ID where supported

[gerrit at coreboot.org]

the following patch was just integrated into master:
commit 052b7fec0712bb0e1332cd6ff6d42e9243ce40b5
Author: Vadim Bendebury <vbendeb at chromium.org>
Date:   Mon Jul 28 17:19:26 2014 -0700

    Enable publishing of board ID where supported
    
    These boards are supposed to be able to determine the board ID at run
    time based on GPIO settings.
    
    BUG=chrome-os-partner:30489
    TEST=verified that all boards build. Checked that storm proto0 reports
         board ID of 0 on the console
    
    Original-Change-Id: Iadd758a799d69e1e34579d7d495378856b64c45b
    Original-Signed-off-by: Vadim Bendebury <vbendeb at chromium.org>
    Original-Reviewed-on: https://chromium-review.googlesource.com/210119
    (cherry picked from commit f4d41ddf906c1bf0d10da38011998fa0a630c332)
    Signed-off-by: Marc Jones <marc.jones at se-eng.com>
    
    Change-Id: I0d5f94d3428157a70f0a9d711b57432e3f796733
    Reviewed-on: http://review.coreboot.org/8722
    Tested-by: build bot (Jenkins)
    Reviewed-by: Patrick Georgi <pgeorgi at google.com>


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

-gerrit