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

the following patch was just integrated into master:
commit 58470e39b3958292e112e13251c5c811409a7a02
Author: Stefan Reinauer 
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 
    Reviewed-on: http://review.coreboot.org/7089
    Tested-by: build bot (Jenkins)
    Reviewed-by: Patrick Georgi

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

-gerrit