diff --git a/locale/circuitpython.pot b/locale/circuitpython.pot
index 0031641588..d1c27c180a 100644
--- a/locale/circuitpython.pot
+++ b/locale/circuitpython.pot
@@ -3828,7 +3828,8 @@ msgstr ""
 #: ports/esp32s2/boards/franzininho_wifi_wrover/mpconfigboard.h
 #: ports/esp32s2/boards/lilygo_ttgo_t8_s2_st7789/mpconfigboard.h
 #: ports/esp32s2/boards/microdev_micro_s2/mpconfigboard.h
-#: ports/esp32s2/boards/muselab_nanoesp32_s2/mpconfigboard.h
+#: ports/esp32s2/boards/muselab_nanoesp32_s2_wroom/mpconfigboard.h
+#: ports/esp32s2/boards/muselab_nanoesp32_s2_wrover/mpconfigboard.h
 #: ports/esp32s2/boards/targett_module_clip_wroom/mpconfigboard.h
 #: ports/esp32s2/boards/targett_module_clip_wrover/mpconfigboard.h
 #: ports/esp32s2/boards/unexpectedmaker_feathers2/mpconfigboard.h
diff --git a/ports/raspberrypi/boards/cytron_maker_pi_rp2040/board.c b/ports/raspberrypi/boards/cytron_maker_pi_rp2040/board.c
index e68ca62414..b583e7bf11 100644
--- a/ports/raspberrypi/boards/cytron_maker_pi_rp2040/board.c
+++ b/ports/raspberrypi/boards/cytron_maker_pi_rp2040/board.c
@@ -35,3 +35,6 @@ bool board_requests_safe_mode(void) {
 
 void reset_board(void) {
 }
+
+void board_deinit(void) {
+}
diff --git a/ports/raspberrypi/boards/pimoroni_pga2040/board.c b/ports/raspberrypi/boards/pimoroni_pga2040/board.c
index 67486d4c23..de6e424ed9 100644
--- a/ports/raspberrypi/boards/pimoroni_pga2040/board.c
+++ b/ports/raspberrypi/boards/pimoroni_pga2040/board.c
@@ -35,3 +35,6 @@ bool board_requests_safe_mode(void) {
 
 void reset_board(void) {
 }
+
+void board_deinit(void) {
+}