diff --git a/ports/nrf/boards/clue_nrf52840_express/board.c b/ports/nrf/boards/clue_nrf52840_express/board.c
index f2e648f4735e..06ee622f93b7 100644
--- a/ports/nrf/boards/clue_nrf52840_express/board.c
+++ b/ports/nrf/boards/clue_nrf52840_express/board.c
@@ -102,4 +102,5 @@ void reset_board(void) {
 }
 
 void board_deinit(void) {
+    common_hal_displayio_release_displays();
 }
diff --git a/ports/nrf/common-hal/alarm/__init__.c b/ports/nrf/common-hal/alarm/__init__.c
index 92dac1c7895f..043be0b319b4 100644
--- a/ports/nrf/common-hal/alarm/__init__.c
+++ b/ports/nrf/common-hal/alarm/__init__.c
@@ -96,7 +96,7 @@ static const char *cause_str[] = {
     "VBUS",
     "RESETPIN",
 };
-void print_wakeup_cause(nrf_sleep_source_t cause) {
+static void print_wakeup_cause(nrf_sleep_source_t cause) {
     if (cause >= 0 && cause < NRF_SLEEP_WAKEUP_ZZZ) {
         mp_printf(&mp_plat_print, "wakeup cause = NRF_SLEEP_WAKEUP_%s\r\n",
             cause_str[(int)cause]);
@@ -108,7 +108,7 @@ bool common_hal_alarm_woken_from_sleep(void) {
     nrf_sleep_source_t cause = _get_wakeup_cause();
     #ifdef NRF_DEBUG_PRINT
     if (cause != NRF_SLEEP_WAKEUP_UNDEFINED) {
-        // print_wakeup_cause(cause);
+        print_wakeup_cause(cause);
     }
     #endif
     return cause == NRF_SLEEP_WAKEUP_GPIO || cause == NRF_SLEEP_WAKEUP_TIMER