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

the following patch was just integrated into master:
commit 97e93b22b1f51f86c0841667549e256158724fc2
Author: Alexandru Gagniuc 
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

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

-gerrit