diff --git a/include/common.h b/include/common.h
index 75fb676458a25b009adb2afab3208066fab87c3b..13428b301d0f9e720ad41497625460dd8298c72b 100644
--- a/include/common.h
+++ b/include/common.h
@@ -203,8 +203,8 @@ void	init_cmd_timeout(void);
 void	reset_cmd_timeout(void);
 
 /* lib_$(ARCH)/board.c */
-void	board_init_f  (ulong);
-void	board_init_r  (gd_t *, ulong);
+void	board_init_f  (ulong) __attribute__ ((noreturn));
+void	board_init_r  (gd_t *, ulong) __attribute__ ((noreturn));
 int	checkboard    (void);
 int	checkflash    (void);
 int	checkdram     (void);