Add GPL-2.0+ SPDX-License-Identifier to source files

[u-boot] / board / mpl / pip405 / init.S

diff --git a/board/mpl/pip405/init.S b/board/mpl/pip405/init.S
index 18e8b09dde311f584c75cbeb8feefa791993a7a8..b77517fd5a80b2c4adc3a5ac8a5f2588be36c695 100644 (file)
--- a/board/mpl/pip405/init.S
+++ b/board/mpl/pip405/init.S
@@ -39,8 +39,6 @@
  *     Bank 6 - used to switch on the 12V for the Multipurpose socket
  *     Bank 7 - Config Register
  *-----------------------------------------------------------------------------*/
-#include <ppc4xx.h>
-
 #define _LINUX_CONFIG_H 1      /* avoid reading Linux autoconf.h file  */
 
 #include <configs/PIP405.h>
@@ -49,6 +47,7 @@
 
 #include <asm/cache.h>
 #include <asm/mmu.h>
+#include <asm/ppc4xx.h>
 #include "pip405.h"
 
   .globl ext_bus_cntlr_init