[coreboot-gerrit] Patch merged into coreboot/master: google/veyron: Add commercial board names in Kconfig.name

the following patch was just integrated into master:
commit d18f81be856ccf1a9fc8c41631da40e6807b2db4
Author: Denis 'GNUtoo' Carikli 
Date:   Sun Dec 6 11:54:39 2015 +0100

google/veyron: Add commercial board names in Kconfig.name

The correspondence between engineering code names and
    commercial names can be found on chromium.org website at:
    https://www.chromium.org/chromium-os/developer-information-for-chrome-os-dev...

This it to make the names more relevant:
    towiki (in util/board_status/to-wiki/towiki.sh) will pick such
    names, which end up in the supported board list at:
    http://www.coreboot.org/Supported_Motherboards

Change-Id: I2d705672d7202964fea3f62a5bd61a231d3f14c0
    Signed-off-by: Denis 'GNUtoo' Carikli 
    Reviewed-on: https://review.coreboot.org/12652
    Reviewed-by: Patrick Georgi 
    Tested-by: build bot (Jenkins)

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

-gerrit