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

the following patch was just integrated into master:
commit f7870767f5a5b82ec2eeb14afc0e7d7740bf4652
Author: Patrick Georgi 
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

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

-gerrit