[coreboot-gerrit] Patch merged into coreboot/master: abuild: change board identifier to a variant of CONFIG_BOARD_*

the following patch was just integrated into master:
commit c2050f014d3d9d53766f99849881da4895eceb7c
Author: Patrick Georgi 
Date:   Sat Oct 31 00:35:44 2015 +0100

abuild: change board identifier to a variant of CONFIG_BOARD_*

Since we now have multiple boards in a single mainboard directory (eg
    google/veyron), we need some other identifier from which to create
    output directories and filenames in abuild than the directory name.
    Use the wildcard part of CONFIG_BOARD_* instead.

This changes the semantics of payload.sh handling: it's passed the
    single new identifier instead of two arguments "vendor" and "board" that
    constitute the mainboard directory's path.

Change-Id: I0dc59c6a1ad1ee51d393fa06b98944a6da342cdf
    Signed-off-by: Patrick Georgi 
    Reviewed-on: http://review.coreboot.org/12277
    Tested-by: build bot (Jenkins)
    Reviewed-by: Martin Roth

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

-gerrit