[coreboot-gerrit] Patch merged into coreboot/master: samsung/exynos5250: Add vboot2 memory region

the following patch was just integrated into master:
commit c5a68462215749972517756df4d4cb61d54b5de3
Author: Patrick Georgi 
Date:   Fri Jul 31 17:27:23 2015 +0200

samsung/exynos5250: Add vboot2 memory region

Change-Id: Ia7d2cafc958859be782f63c956dbd632e28bcf11
    Signed-off-by: Patrick Georgi 
    Reviewed-on: http://review.coreboot.org/11101
    Tested-by: build bot (Jenkins)
    Reviewed-by: Stefan Reinauer

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

-gerrit