[coreboot-gerrit] Patch set updated for coreboot: d75876e armv7/exynos: Prevent unexpected reboots in resume.