[coreboot-gerrit] Patch merged into coreboot/master: mainboard/google/reef: add board_id() support

the following patch was just integrated into master:
commit ebe148d58ee7061c4ee9956e9995bade666a80e4
Author: Aaron Durbin 
Date:   Wed Jul 6 22:53:51 2016 -0500

mainboard/google/reef: add board_id() support

The board build version is provided by the EC on reef.
    Provide the necessary functional support for coreboot
    to differentiate the board versions.

BUG=chrome-os-partner:54959,chrome-os-partner:54960,chrome-os-partner:54961
    BRANCH=None
    TEST=Built and tested on reef.

Change-Id: I1b7e8b2f4142753cde736148ca9495bcc625f318
    Signed-off-by: Aaron Durbin 
    Reviewed-on: https://review.coreboot.org/15561
    Tested-by: build bot (Jenkins)
    Reviewed-by: Werner Zeh 
    Reviewed-by: Paul Menzel 
    Reviewed-by: Furquan Shaikh

See https://review.coreboot.org/15561 for details.

-gerrit