diff --git a/sys/powerpc/powerpc/cpu.c b/sys/powerpc/powerpc/cpu.c
--- a/sys/powerpc/powerpc/cpu.c
+++ b/sys/powerpc/powerpc/cpu.c
@@ -784,11 +784,11 @@
 static void
 cpu_idle_booke(sbintime_t sbt)
 {
+#ifdef BOOKE_E500
 	register_t msr;
 
 	msr = mfmsr();
 
-#ifdef BOOKE_E500
 	powerpc_sync();
 	mtmsr(msr | PSL_WE);
 #endif