[coreboot-gerrit] Patch merged into coreboot/master: build system: Build Chrome EC firmware on request

the following patch was just integrated into master:
commit e995dad2e1088e6895c01055997249bd2aa0d7ad
Author: Patrick Georgi 
Date:   Mon Feb 1 15:26:26 2016 +0100

build system: Build Chrome EC firmware on request

With the Chrome EC's "board" name set in Kconfig, the build system will
    build and add the EC firmware, too. Available for the EC and the USB
    PD controller.

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

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

-gerrit