[coreboot-gerrit] Patch merged into coreboot/master: 246234f abuild: Only build boards with Kconfig

the following patch was just integrated into master:
commit 246234fecb439cc7c9cee6616fe1b33c4d37a582
Author: Patrick Georgi 
Date:   Sat May 17 21:50:06 2014 +0200

abuild: Only build boards with Kconfig

We have dupes in the tree for aliases,
    board variants and the like,
    for board-status reporting purposes.
    But we don't need to build all of them.

Change-Id: Ic1c6415568800350bdc0db97471e3875d9eac98c
    Signed-off-by: Patrick Georgi 
    Reviewed-on: http://review.coreboot.org/5776
    Tested-by: build bot (Jenkins)
    Reviewed-by: Kyösti Mälkki

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

-gerrit