[coreboot-gerrit] Patch merged into coreboot/master: a0abd51 veyron*: use gpio_base2_value() in board_id()

the following patch was just integrated into master:
commit a0abd51e4edb6b00c82032234b8ae1868e6d965e
Author: David Hendricks 
Date:   Fri Nov 7 13:48:49 2014 -0800

veyron*: use gpio_base2_value() in board_id()

This makes board_id() use the generic gpio_base2_value() function
    to obtain the value of the board ID straps.

BUG=none
    BRANCH=none
    TEST=tested on pinky

Change-Id: I15c1310889b989c34638fd342011aef5fe7bcec1
    Signed-off-by: Patrick Georgi 
    Original-Commit-Id: fcbb8a6998a66531326afe16b232395d49fee64d
    Original-Signed-off-by: David Hendricks 
    Original-Change-Id: I5847bf1c5b26bcaf7d36103f31bb255b31ff8185
    Original-Reviewed-on: https://chromium-review.googlesource.com/228370
    Original-Reviewed-by: Julius Werner 
    Reviewed-on: http://review.coreboot.org/9548
    Tested-by: build bot (Jenkins)
    Reviewed-by: Stefan Reinauer

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

-gerrit