diff --git a/src/mainboard/lenovo/t530/romstage.c b/src/mainboard/lenovo/t530/romstage.c
index 8880e30e95..bb4c0a5484 100644
--- a/src/mainboard/lenovo/t530/romstage.c
+++ b/src/mainboard/lenovo/t530/romstage.c
@@ -41,6 +41,7 @@
 #include <cpu/x86/msr.h>
 #include "gpio.h"
 #include <cbfs.h>
+#include <cpu/intel/romstage.h>
 
 static void pch_enable_lpc(void)
 {
@@ -109,7 +110,6 @@ static void rcba_config(void)
 	RCBA32(BUC) = 0;
 }
 
-#include <cpu/intel/romstage.h>
 void main(unsigned long bist)
 {
 	int boot_mode = 0;