diff --git a/src/include/fallback.h b/src/include/fallback.h
index ffcbafb6e1..7f3c82310b 100644
--- a/src/include/fallback.h
+++ b/src/include/fallback.h
@@ -3,7 +3,6 @@
 
 #if !defined(__ASSEMBLER__) && !defined(__PRE_RAM__)
 
-void set_boot_successful(void);
 void boot_successful(void);
 
 #endif /* __ASSEMBLER__ */
diff --git a/src/lib/fallback_boot.c b/src/lib/fallback_boot.c
index b5ec6c3030..ce1ba851fe 100644
--- a/src/lib/fallback_boot.c
+++ b/src/lib/fallback_boot.c
@@ -1,11 +1,12 @@
 #include <console/console.h>
 #include <fallback.h>
 #include <watchdog.h>
-#include <pc80/mc146818rtc.h>
 #include <arch/io.h>
 
+#if CONFIG_PC80_SYSTEM
+#include <pc80/mc146818rtc.h>
 
-void set_boot_successful(void)
+static void set_boot_successful(void)
 {
 	/* Remember I succesfully booted by setting
 	 * the initial boot direction
@@ -25,6 +26,12 @@ void set_boot_successful(void)
 		byte &= 0x0f;
 	outb(byte, RTC_PORT(1));
 }
+#else
+static void set_boot_successful(void)
+{
+	/* To be implemented */
+}
+#endif
 
 void boot_successful(void)
 {