[coreboot-gerrit] Patch merged into coreboot/master: what-jenkins-does: Add building chromeos configurations

the following patch was just integrated into master:
commit 1c487048a796ae8b5c45b0ee2a3e4aa8d63dabe8
Author: Patrick Georgi 
Date:   Fri Jul 31 16:40:05 2015 +0200

what-jenkins-does: Add building chromeos configurations

This prevents us from inadvertedly breaking Chrome OS' configurations.
    They're built in addition to the normal configurations for each boards, to
    accomodate all use cases on these devices.

Change-Id: I772a47dca8815f47c12f6fd4405ae28c7c997aa8
    Signed-off-by: Patrick Georgi 
    Reviewed-on: http://review.coreboot.org/11104
    Reviewed-by: Stefan Reinauer 
    Tested-by: build bot (Jenkins)

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

-gerrit