diff --git a/board/xilinx/ml401/ml401.c b/board/xilinx/ml401/ml401.c
index a341ac2584451512dd3abfc50a86ba885f0c64dc..b48103fdc028e522eba9f742b3026da2398e0e40 100644
--- a/board/xilinx/ml401/ml401.c
+++ b/board/xilinx/ml401/ml401.c
@@ -26,7 +26,7 @@
  * header files */
 
 #include <common.h>
-#include <configs/ml401.h>
+#include <config.h>
 
 void do_reset (void)
 {
diff --git a/board/xilinx/xupv2p/xupv2p.c b/board/xilinx/xupv2p/xupv2p.c
index a341ac2584451512dd3abfc50a86ba885f0c64dc..b48103fdc028e522eba9f742b3026da2398e0e40 100644
--- a/board/xilinx/xupv2p/xupv2p.c
+++ b/board/xilinx/xupv2p/xupv2p.c
@@ -26,7 +26,7 @@
  * header files */
 
 #include <common.h>
-#include <configs/ml401.h>
+#include <config.h>
 
 void do_reset (void)
 {