diff --git a/firmware/thread.c b/firmware/thread.c
index 3754f55867..a63641e12b 100644
--- a/firmware/thread.c
+++ b/firmware/thread.c
@@ -746,7 +746,7 @@ static void core_thread_init(unsigned int core)
 
 #elif defined(CPU_TCC780X) || defined(CPU_TCC77X) /* Single core only for now */ \
 || CONFIG_CPU == IMX31L || CONFIG_CPU == DM320 || CONFIG_CPU == AS3525 \
-|| CONFIG_CPU == S3C2440
+|| CONFIG_CPU == S3C2440 || CONFIG_CPU == S5L8701
 /* Use the generic ARMv4/v5/v6 wait for IRQ */
 static inline void core_sleep(void)
 {