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