[coreboot] Patch merged into coreboot/master: 1fef1f5 haswell: reserve default SMRAM space

the following patch was just integrated into master:
commit 1fef1f51779307ff65a82b8fd86ff9fa6d2bcae0
Author: Aaron Durbin 
Date:   Wed Dec 19 17:15:43 2012 -0600

haswell: reserve default SMRAM space

Currently the OS is free to use the memory located at the default
    SMRAM space because it is not marked reserved in the e820. This can
    lead to memory corruption on S3 resume because SMM setup doesn't save
    this range before using it to relocate SMRAM.

Resulting tables:

coreboot memory table:
    	 0. 0000000000000000-0000000000000fff: CONFIGURATION TABLES
    	 1. 0000000000001000-000000000002ffff: RAM
    	 2. 0000000000030000-000000000003ffff: RESERVED
    	 3. 0000000000040000-000000000009ffff: RAM
    	 4. 00000000000a0000-00000000000fffff: RESERVED
    	 5. 0000000000100000-0000000000efffff: RAM
    	 6. 0000000000f00000-0000000000ffffff: RESERVED
    	 7. 0000000001000000-00000000acebffff: RAM
    	 8. 00000000acec0000-00000000acffffff: CONFIGURATION TABLES
    	 9. 00000000ad000000-00000000af9fffff: RESERVED
    	10. 00000000f0000000-00000000f3ffffff: RESERVED
    	11. 00000000fed10000-00000000fed19fff: RESERVED
    	12. 00000000fed84000-00000000fed84fff: RESERVED
    	13. 0000000100000000-000000018f5fffff: RAM

e820 map has 13 items:
    	  0: 0000000000000000 - 0000000000030000 = 1 RAM
    	  1: 0000000000030000 - 0000000000040000 = 2 RESERVED
    	  2: 0000000000040000 - 000000000009f400 = 1 RAM
    	  3: 000000000009f400 - 00000000000a0000 = 2 RESERVED
    	  4: 00000000000f0000 - 0000000000100000 = 2 RESERVED
    	  5: 0000000000100000 - 0000000000f00000 = 1 RAM
    	  6: 0000000000f00000 - 0000000001000000 = 2 RESERVED
    	  7: 0000000001000000 - 00000000acec0000 = 1 RAM
    	  8: 00000000acec0000 - 00000000afa00000 = 2 RESERVED
    	  9: 00000000f0000000 - 00000000f4000000 = 2 RESERVED
    	  10: 00000000fed10000 - 00000000fed1a000 = 2 RESERVED
    	  11: 00000000fed84000 - 00000000fed85000 = 2 RESERVED
    	  12: 0000000100000000 - 000000018f600000 = 1 RAM

Booted and checked e820 as well as coreboot table information.

Change-Id: Ie4985c748b591bf8c0d6a2b59549b698c9ad6cfe
    Signed-off-by: Aaron Durbin 
    Reviewed-on: http://review.coreboot.org/2688
    Tested-by: build bot (Jenkins)
    Reviewed-by: Ronald G. Minnich

Build-Tested: build bot (Jenkins) at Fri Mar 15 00:05:34 2013, giving +1
See http://review.coreboot.org/2688 for details.

-gerrit