[coreboot-gerrit] New patch to review for coreboot: arch/x86: honor CONFIG_X86_TOP4G_BOOTMEDIA_MAP for verstage

[Aaron Durbin]

Aaron Durbin ([e-mail]) just uploaded a new patch set to gerrit, which you can find at https://review.coreboot.org/14142

-gerrit

commit dc30023b0d4f48fcc32acf91b63428abc5b0575c
Author: Aaron Durbin 
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 
---
 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 6980555..5114e5f 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