diff --git a/src/mainboard/dmp/vortex86ex/romstage.c b/src/mainboard/dmp/vortex86ex/romstage.c
index 0b02373952..d2cc146059 100644
--- a/src/mainboard/dmp/vortex86ex/romstage.c
+++ b/src/mainboard/dmp/vortex86ex/romstage.c
@@ -298,7 +298,6 @@ static void enable_l2_cache(void)
 	pci_write_config8(NB1, 0xe8, reg_nb_f1_e8);
 }
 
-#include <cpu/intel/romstage.h>
 static void main(unsigned long bist)
 {
 	u32 dmp_id;