[coreboot-gerrit] Patch merged into coreboot/master: 98d9678 google/veyron_pinky: Don't auto select CHROMEOS

[gerrit at coreboot.org]

the following patch was just integrated into master:
commit 98d9678b74ef59420adebaa8aa33c13d58cf58f9
Author: Aaron Durbin <adurbin at chromium.org>
Date:   Sat Mar 28 14:41:04 2015 -0500

    google/veyron_pinky: Don't auto select CHROMEOS
    
    Indicate to reset of coreboot that MAINBOARD_HAS_CHROMEOS
    instead of auto-selecting it.
    
    Change-Id: Ide84bc0d8f801c79457dc05f768dd717a8a2f700
    Signed-off-by: Aaron Durbin <adurbin at chromium.org>
    Reviewed-on: http://review.coreboot.org/9154
    Tested-by: build bot (Jenkins)
    Reviewed-by: Aaron Durbin <adurbin at google.com>


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

-gerrit