Index: kernel/arch/arm32/include/asm.h
===================================================================
--- kernel/arch/arm32/include/asm.h	(revision b55877d41311cafdacbe0aa0189cc1695c1f3311)
+++ kernel/arch/arm32/include/asm.h	(revision 26e550c22bed7bdb552a6277dba5becaa96591ed)
@@ -48,4 +48,6 @@
  * ARM920T has custom coprocessor action to do the same. See ARM920T Technical
  * Reference Manual ch 4.9 p. 4-23 (103 in the PDF)
+ * ARM926EJ-S uses the same coprocessor instruction as ARM920T. See ARM926EJ-S
+ * chapter 2.3.8 p.2-22 (52 in the PDF)
  */
 NO_TRACE static inline void cpu_sleep(void)
@@ -53,5 +55,5 @@
 #ifdef PROCESSOR_armv7_a
 	asm volatile ( "wfe" :: );
-#elif defined(MACHINE_gta02)
+#elif defined(MACHINE_gta02) | defined(MACHINE_integratorcp)
 	asm volatile ( "mcr p15,0,R0,c7,c0,4" :: );
 #endif