[coreboot-gerrit] New patch to review for coreboot: fdf420b veyron*: use gpio_base2_value() in board_id()