diff --git a/src/soc/samsung/exynos5250/Kconfig b/src/soc/samsung/exynos5250/Kconfig
index c8a89293ae..63b58e7944 100644
--- a/src/soc/samsung/exynos5250/Kconfig
+++ b/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
diff --git a/src/soc/samsung/exynos5250/power.c b/src/soc/samsung/exynos5250/power.c
index a168355f14..f27650dae6 100644
--- a/src/soc/samsung/exynos5250/power.c
+++ b/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)
 {