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