diff --git a/Kernel/platform/platform-rpipico/config.h b/Kernel/platform/platform-rpipico/config.h
index 4ad501eb3a..d50263d66e 100644
--- a/Kernel/platform/platform-rpipico/config.h
+++ b/Kernel/platform/platform-rpipico/config.h
@@ -43,7 +43,7 @@
 #undef CONFIG_FONT8X8
 
 /* Built in NAND flash. Warning, it's unstable. */
-#undef PICO_DISABLE_FLASH
+#define CONFIG_PICO_FLASH
 
 /* Program layout */
 
diff --git a/Kernel/platform/platform-rpipico/devices.c b/Kernel/platform/platform-rpipico/devices.c
index 968d1eb883..850036ccf0 100644
--- a/Kernel/platform/platform-rpipico/devices.c
+++ b/Kernel/platform/platform-rpipico/devices.c
@@ -66,7 +66,7 @@ void device_init(void)
 {
     /* The flash device is too small to be useful, and a corrupt flash will
      * cause a crash on startup... oddly. */
-#ifndef PICO_DISABLE_FLASH
+#ifdef CONFIG_PICO_FLASH
     flash_dev_init();
 #endif
     sd_rawinit();