diff --git a/epicardium/support.c b/epicardium/support.c
index 5a2d55c647b97265960f83a6d9bc2985e45c6926..1504d1efba6b82d4fc46d3bfa49fad89b15ebc39 100644
--- a/epicardium/support.c
+++ b/epicardium/support.c
@@ -25,8 +25,6 @@ void pre_idle_sleep(TickType_t xExpectedIdleTime)
 		 * race conditions.
 		 */
 		__asm volatile( "dsb" ::: "memory" );
-		__asm volatile( "sev" );
-		__asm volatile( "wfe" );
 		__asm volatile( "wfe" );
 		__asm volatile( "isb" );
 	}