[coreboot-gerrit] Patch set updated for coreboot: arch/x86: honor CONFIG_X86_TOP4G_BOOTMEDIA_MAP for verstage

[Aaron Durbin (adurbin@chromium.org)]

Aaron Durbin (adurbin at chromium.org) just uploaded a new patch set to gerrit, which you can find at https://review.coreboot.org/14142

-gerrit

commit cd50a36730849d0f433d1eb7f7606319fe81ab29
Author: Aaron Durbin <adurbin at chromium.org>
Date:   Fri Mar 18 13:12:41 2016 -0500

    arch/x86: honor CONFIG_X86_TOP4G_BOOTMEDIA_MAP for verstage
    
    When CONFIG_X86_TOP4G_BOOTMEDIA_MAP was introduced verstage
    was not updated. Correct this oversight.
    
    Change-Id: I2775c08798906ba0ba55a361407d7d2b52313229
    Signed-off-by: Aaron Durbin <adurbin at chromium.org>
---
 src/arch/x86/Makefile.inc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/arch/x86/Makefile.inc b/src/arch/x86/Makefile.inc
index 249cdd1..1ba8795 100644
--- a/src/arch/x86/Makefile.inc
+++ b/src/arch/x86/Makefile.inc
@@ -184,7 +184,7 @@ verstage-$(CONFIG_ARCH_RAMSTAGE_X86_32) += cpu_common.c
 verstage-y += memset.c
 verstage-y += memcpy.c
 verstage-y += memmove.c
-verstage-y += mmap_boot.c
+verstage-$(CONFIG_X86_TOP4G_BOOTMEDIA_MAP) += mmap_boot.c
 
 verstage-$(CONFIG_COLLECT_TIMESTAMPS) += timestamp.c