[coreboot-gerrit] Patch merged into coreboot/master: 97e93b2 google/rambi: Do not select CHROMEOS in Kconfig

[gerrit at coreboot.org]

the following patch was just integrated into master:
commit 97e93b22b1f51f86c0841667549e256158724fc2
Author: Alexandru Gagniuc <mr.nuke.me at gmail.com>
Date:   Thu Feb 13 14:33:08 2014 -0600

    google/rambi: Do not select CHROMEOS in Kconfig
    
    CHROMEOS is the meant to be selected by the user. The correct variable
    for a mainboard to select is MAINBOARD_HAS_CHROMEOS. This will then
    default to a CHROMEOS build, but when the mainboard selects CHROMEOS,
    the user can no longer disable CHROMEOS.
    
    Change-Id: I78fb15a0a9fef733e2de064d6c09cf774b7bce78
    Signed-off-by: Alexandru Gagniuc <mr.nuke.me at gmail.com>


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

-gerrit