[coreboot-gerrit] Patch merged into coreboot/master: db9f37c armv7/exynos: Fix and remove memory reset workarounds