Patch merged into coreboot/master: fd611f9 Drop CONFIG_WRITE_HIGH_TABLES

the following patch was just integrated into master:
commit fd611f9c2c8c751069c6cd1634a3e3e523ff098b
Author: Stefan Reinauer 
Date:   Wed Feb 27 23:45:20 2013 +0100

Drop CONFIG_WRITE_HIGH_TABLES

It's been on for all boards per default since several years now
    and the old code path probably doesn't even work anymore. Let's
    just have one consistent way of doing things.

Change-Id: I58da7fe9b89a648d9a7165d37e0e35c88c06ac7e
    Signed-off-by: Stefan Reinauer 
    Reviewed-on: http://review.coreboot.org/2547
    Tested-by: build bot (Jenkins)
    Reviewed-by: Ronald G. Minnich

Build-Tested: build bot (Jenkins) at Wed Feb 27 23:57:48 2013, giving +1
Reviewed-By: Ronald G. Minnich  at Thu Feb 28 00:00:30 2013, giving +2
See http://review.coreboot.org/2547 for details.

-gerrit