microbit.patch

diff --git a/source/EventQueue/util/NordicCriticalSectionLock.h b/source/EventQueue/util/NordicCriticalSectionLock.h
index dcb20fe..d0199df 100644
--- a/source/EventQueue/util/NordicCriticalSectionLock.h
+++ b/source/EventQueue/util/NordicCriticalSectionLock.h
@@ -28,7 +28,7 @@
 #include "cmsis.h"
 #include "nrf_soc.h"
 #include "nrf_sdm.h"
-#include "nrf_nvic.h"
+//#include "nrf_nvic.h"
 extern "C" {
 #include "softdevice_handler.h"
 }
diff --git a/source/main.cpp b/source/main.cpp
index 8c16e25..2320dfa 100644
--- a/source/main.cpp
+++ b/source/main.cpp
@@ -52,25 +52,25 @@ static const PowerLevels_t advTxPowerLevels = EDDYSTONE_DEFAULT_ADV_TX_POWER_LEV
 /* Values for radio power levels, provided by manufacturer. */
 static const PowerLevels_t radioTxPowerLevels = EDDYSTONE_DEFAULT_RADIO_TX_POWER_LEVELS;
 
-DigitalOut configLED(CONFIG_LED, LED_OFF);
+//DigitalOut configLED(CONFIG_LED, LED_OFF);
 
 static const int BLINKY_MSEC = 500;                       // How long to cycle config LED on/off
 static event_queue_t::event_handle_t handle = 0;         // For the config mode timeout
 static event_queue_t::event_handle_t BlinkyHandle = 0;   // For the blinking LED when in config mode
 
-static void blinky(void)  { configLED = !configLED; }
+//static void blinky(void)  { configLED = !configLED; }
 
 static void configLED_on(void) {
-    configLED = !LED_OFF;
-    BlinkyHandle = eventQueue.post_every(blinky, BLINKY_MSEC);
+    // configLED = !LED_OFF;
+    // BlinkyHandle = eventQueue.post_every(blinky, BLINKY_MSEC);
 }
 
 static void configLED_off(void) {
-    configLED = LED_OFF;
-    if (BlinkyHandle) {
-        eventQueue.cancel(BlinkyHandle);
-        BlinkyHandle = NULL;
-    }
+    // configLED = LED_OFF;
+    // if (BlinkyHandle) {
+    //     eventQueue.cancel(BlinkyHandle);
+    //     BlinkyHandle = NULL;
+    // }
 }
 
 /**