[coreboot-gerrit] Patch merged into coreboot/master: 58470e3 Kconfig: clean up options in top level and device menu

[gerrit at coreboot.org]

the following patch was just integrated into master:
commit 58470e39b3958292e112e13251c5c811409a7a02
Author: Stefan Reinauer <stefan.reinauer at coreboot.org>
Date:   Fri Oct 17 13:08:36 2014 +0200

    Kconfig: clean up options in top level and device menu
    
    Move generic options to the "General Setup" menu.
    Move device specific options to the "Devices" menu.
    
    Change-Id: I514a021305d43f026b24fd3016477300700ed401
    Signed-off-by: Stefan Reinauer <stefan.reinauer at coreboot.org>
    Reviewed-on: http://review.coreboot.org/7089
    Tested-by: build bot (Jenkins)
    Reviewed-by: Patrick Georgi <pgeorgi at google.com>


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

-gerrit