diff --git a/firmware/applications/iggy.c b/firmware/applications/iggy.c
index 539299d..97b03b4 100644
--- a/firmware/applications/iggy.c
+++ b/firmware/applications/iggy.c
@@ -142,7 +142,9 @@ void main_iggy(void) {
 	    gpioSetValue (RB_LCD_BL, 0); 
 	    SCB_SCR |= SCB_SCR_SLEEPDEEP;
 	    PMU_PMUCTRL = PMU_PMUCTRL_DPDEN_DEEPPOWERDOWN;
+#ifdef ARM
 	    __asm volatile ("WFI");
+#endif
 	}else{
 	    //DoString(0,yctr+30,"OK           ");
 		;
diff --git a/firmware/core/lpc134x.h b/firmware/core/lpc134x.h
index 80b38ec..5a7332e 100644
--- a/firmware/core/lpc134x.h
+++ b/firmware/core/lpc134x.h
@@ -1937,8 +1937,13 @@ typedef struct
 
 #define NVIC                                      ((NVIC_Type *) NVIC_BASE_ADDRESS)
 
+#ifdef ARM
 static inline void __enable_irq()                 { __asm volatile ("cpsie i"); }
 static inline void __disable_irq()                { __asm volatile ("cpsid i"); }
+#else
+void __enable_irq();
+void __disable_irq();
+#endif
 
 typedef enum IRQn
 {