[coreboot] Patch merged into coreboot/master: 89b0a39 Don't unconditionally show ChromeOS options

[gerrit at coreboot.org]

the following patch was just integrated into master:
commit 89b0a39450aa1e4d7d91f2bad7d2802833789e55
Author: Stefan Reinauer <stefan.reinauer at coreboot.org>
Date:   Tue Apr 3 11:22:15 2012 -0700

    Don't unconditionally show ChromeOS options
    
    Google ChromeOS specific options were shown in the main menu
    unconditionally, even on non-ChromeOS devices. Instead, hide
    these options unless CONFIG_CHROMEOS is set, and also put them
    in a separate menu.
    
    Change-Id: I75f533ed5046d6df4f7d959a0ca4c2441340ef2f
    Signed-off-by: Stefan Reinauer <reinauer at google.com>

Build-Tested: build bot (Jenkins) at Tue Apr  3 21:20:40 2012, giving +1
See http://review.coreboot.org/848 for details.

-gerrit