diff --git a/src/arch/armv7/include/common.h b/src/arch/armv7/include/common.h
index e21cfb0239..2d4d020f37 100644
--- a/src/arch/armv7/include/common.h
+++ b/src/arch/armv7/include/common.h
@@ -164,8 +164,7 @@ void	init_cmd_timeout(void);
 void	reset_cmd_timeout(void);
 
 /* arch/$(ARCH)/lib/board.c */
-void	board_init_f  (ulong);
-//void	board_init_f  (ulong) __attribute__ ((noreturn));
+void	board_init_f  (void);
 void	board_init_r  (gd_t *, ulong) __attribute__ ((noreturn));
 int	checkboard    (void);
 int	checkflash    (void);
diff --git a/src/cpu/samsung/exynos5-common/spl_boot.c b/src/cpu/samsung/exynos5-common/spl_boot.c
index a734d5c17b..ecff87131e 100644
--- a/src/cpu/samsung/exynos5-common/spl_boot.c
+++ b/src/cpu/samsung/exynos5-common/spl_boot.c
@@ -308,7 +308,7 @@ static int __def_board_wakeup_permitted(void)
 int board_wakeup_permitted(void)
 	__attribute__((weak, alias("__def_board_wakeup_permitted")));
 
-void board_init_f(unsigned long bootflag)
+void board_init_f(void)
 {
 	/*
 	 * The gd struct is only needed for serial initialization. Since this