soc/samsung/exynos5250: Implement hard_reset()

Implement hard_reset() as power_reset() to make
vboot happy.

Change-Id: I16831055bd6ba8a8c95836fcf31f29c068153fcc
Signed-off-by: Stefan Reinauer <stefan.reinauer@coreboot.org>
Reviewed-on: https://review.coreboot.org/12722
Reviewed-by: David Hendricks <dhendrix@chromium.org>
Tested-by: build bot (Jenkins)

src/soc/samsung/exynos5250/Kconfig

@@ -7,5 +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

@@ -18,6 +18,7 @@
 #include <arch/io.h>
 #include <console/console.h>
 #include <halt.h>
+#include <reset.h>
 #include <soc/dmc.h>
 #include <soc/power.h>
 #include <soc/setup.h>
@@ -38,6 +39,11 @@ void power_reset(void)
 	setbits_le32(&exynos_power->sw_reset, 1);
 }
 
+void hard_reset(void)
+{
+	power_reset();
+}
+
 /* This function never returns */
 void power_shutdown(void)
 {