the following patch was just integrated into master:
commit 220e982e56738a835197aa779e38d6771ac4bc1f
Author: Elyes HAOUAS <ehaouas(a)noos.fr>
Date: Thu Jun 26 18:15:06 2014 +0200
Sorting supported mainboard in Kconfig.
Change-Id: If4550a1292ddd2645a730cca17d5779a4afa2088
Signed-off-by: Elyes HAOUAS <ehaouas(a)noos.fr>
Reviewed-on: http://review.coreboot.org/6134
Tested-by: build bot (Jenkins)
Reviewed-by: Martin Roth <gaumless(a)gmail.com>
See http://review.coreboot.org/6134 for details.
-gerrit