[coreboot-gerrit] Patch set updated for coreboot: accc398 veyron*: use gpio_base2_value() in board_id()