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

[gerrit at coreboot.org]

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


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

-gerrit