[coreboot] Patch merged into coreboot/master: f787076 HAVE_HIGH_TABLES is gone

[gerrit at coreboot.org]

the following patch was just integrated into master:
commit f7870767f5a5b82ec2eeb14afc0e7d7740bf4652
Author: Patrick Georgi <patrick.georgi at secunet.com>
Date:   Mon Sep 24 20:56:13 2012 +0200

    HAVE_HIGH_TABLES is gone
    
    ... but no-one told intel/sch.
    
    Change-Id: I68eaae6910bd6fc579c35b5bc038b9597cd1b3e7
    Signed-off-by: Patrick Georgi <patrick.georgi at secunet.com>

Build-Tested: build bot (Jenkins) at Tue Sep 25 12:06:47 2012, giving +1
Reviewed-By: Ronald G. Minnich <rminnich at gmail.com> at Tue Sep 25 16:09:19 2012, giving +2
See http://review.coreboot.org/1537 for details.

-gerrit