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