[coreboot-gerrit] Patch merged into coreboot/master: da7b8e4 armv7/exynos: Prevent unexpected reboots in resume.