[coreboot-gerrit] Change in coreboot[master]: soc/samsung/exynos5250: Convert to `board_reset()`