Index: kernel/arch/arm32/include/asm.h
===================================================================
--- kernel/arch/arm32/include/asm.h	(revision 87739fbe10b43d1383f976c45529fbb55deac7d6)
+++ kernel/arch/arm32/include/asm.h	(revision ea106a6cb6dfe9458712997af2aa3783ade3442d)
@@ -43,14 +43,12 @@
 #include <trace.h>
 
-/** No such instruction on ARM to sleep CPU.
+/** No such instruction on old ARM to sleep CPU.
  *
- * ARMv7 introduced wait for event and wait for interrupt.
+ * ARMv7 introduced wait for event and wait for interrupt (wfe/wfi).
  */
 NO_TRACE static inline void cpu_sleep(void)
 {
 #ifdef PROCESSOR_armv7
-	asm volatile (
-		"wfe"::
-	);
+	asm volatile ( "wfe" :: );
 #endif
 }