[coreboot-gerrit] Patch merged into coreboot/master: 7d8a91d exynos: Get rid of the unused reset.c.