[coreboot-gerrit] Patch merged into coreboot/master: x86: Make sure boot device is mapped below 4G

the following patch was just integrated into master:
commit fb82ebe9065e2160e662aee490d749ac31388fa6
Author: Stefan Reinauer 
Date:   Tue Aug 4 11:14:17 2015 -0700

x86: Make sure boot device is mapped below 4G

On x86-64 the current way of calculating the base address
    of the boot device (SPI flash) gets an unwanted sign extension,
    making it live somewhere at the end of 64bit address space.

Enforce rom_base to be at the upper end of the 4G address space.

Change-Id: Ia81e82094d3c51f6c10e02b4b0df2f3e1519d39e
    Signed-off-by: Stefan Reinauer 
    Reviewed-on: http://review.coreboot.org/11121
    Reviewed-by: Aaron Durbin 
    Tested-by: build bot (Jenkins)

See http://review.coreboot.org/11121 for details.

-gerrit