[coreboot-gerrit] Patch merged into coreboot/master: arch/x86: honor CONFIG_X86_TOP4G_BOOTMEDIA_MAP for verstage

the following patch was just integrated into master:
commit 57dbbbb5960c3720aadc66c1d6dbdbe131943bb7
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 
    Reviewed-on: https://review.coreboot.org/14142
    Reviewed-by: Andrey Petrov 
    Tested-by: build bot (Jenkins)

See https://review.coreboot.org/14142 for details.

-gerrit