soc/samsung/exynos5250: Convert to board_reset()

Change-Id: I2f69d9f01ac5f7e28dd98e704f3280bf62b9ce58
Signed-off-by: Nico Huber <nico.h@gmx.de>
Reviewed-on: https://review.coreboot.org/29052
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Julius Werner <jwerner@chromium.org>

src/soc/samsung/exynos5250/Kconfig

@@ -7,7 +7,6 @@ config CPU_SAMSUNG_EXYNOS5250
 	select GENERIC_UDELAY
 	select HAVE_UART_SPECIAL
 	select BOOTBLOCK_CONSOLE
-	select HAVE_HARD_RESET
 	bool
 	default n
 

src/soc/samsung/exynos5250/power.c

@@ -39,7 +39,7 @@ void power_reset(void)
 	setbits_le32(&exynos_power->sw_reset, 1);
 }
 
-void do_hard_reset(void)
+void do_board_reset(void)
 {
 	power_reset();
 }