Patch merged into coreboot/master: 56cd70b Fix Kconfig GENERATE_*_TABLE usage

the following patch was just integrated into master:
commit 56cd70bba2906cb99b84d593d90f7653b0ce1e0b
Author: Stefan Reinauer 
Date:   Tue Nov 13 17:33:08 2012 -0800

Fix Kconfig GENERATE_*_TABLE usage

Some boards selected GENERATE_ instead of HAVE_

Change-Id: I450c22d7b044f0c88c21692246d452d516a68a83
    Signed-off-by: Stefan Reinauer 
    Reviewed-on: http://review.coreboot.org/1841
    Tested-by: build bot (Jenkins)
    Reviewed-by: Patrick Georgi

Reviewed-By: Patrick Georgi  at Wed Nov 14 09:07:59 2012, giving +2
Build-Tested: build bot (Jenkins) at Wed Nov 14 07:25:45 2012, giving +1
See http://review.coreboot.org/1841 for details.

-gerrit