diff --git a/kernel/arch/arm/arch_reset.c b/kernel/arch/arm/arch_reset.c
index 66232ba09..22cc62706 100644
--- a/kernel/arch/arm/arch_reset.c
+++ b/kernel/arch/arm/arch_reset.c
@@ -19,10 +19,12 @@
 #include "direct_utils.h"
 #include <machine/multiboot.h>
 
-void halt_cpu(void)
+void
+halt_cpu(void)
 {
-    asm volatile("dsb");
-    asm volatile("wfi");
+	asm volatile("dsb");
+	asm volatile("cpsie i");
+	asm volatile("wfi");
 }
 
 void
@@ -31,15 +33,17 @@ reset(void)
     while (1);
 }
 
-__dead void arch_shutdown(int how)
+__dead void
+arch_shutdown(int how)
 {
-    while (1);
+	while (1);
 }
 
 #ifdef DEBUG_SERIAL
-void ser_putc(char c)
+void
+ser_putc(char c)
 {
-    omap3_ser_putc(c);
+	omap3_ser_putc(c);
 }
 
 #endif