diff --git a/src/include/pc80/mc146818rtc.h b/src/include/pc80/mc146818rtc.h
index cf4a9514c9..46dbd736db 100644
--- a/src/include/pc80/mc146818rtc.h
+++ b/src/include/pc80/mc146818rtc.h
@@ -1,6 +1,7 @@
 #ifndef PC80_MC146818RTC_H
 #define PC80_MC146818RTC_H
 
+#include <arch/io.h>
 #include <types.h>
 
 #ifndef RTC_BASE_PORT
@@ -100,7 +101,6 @@
 #define PC_CKS_LOC		46
 
 #ifndef UTIL_BUILD_OPTION_TABLE
-#include <arch/io.h>
 static inline unsigned char cmos_read(unsigned char addr)
 {
 	int offs = 0;