Index: kernel/arch/ppc32/src/asm.S
===================================================================
--- kernel/arch/ppc32/src/asm.S	(revision cb4f078ad0b0beb6ab22ecd75634643d7668acbc)
+++ kernel/arch/ppc32/src/asm.S	(revision 967447658a7c74fa9716dc3e4d51ef50eb46c052)
@@ -28,5 +28,5 @@
 
 #include <arch/asm/regname.h>
-#include <arch/cpu.h>
+#include <arch/msr.h>
 
 .text