diff --git a/ports/raspberrypi/sdk_config/pico/config_autogen.h b/ports/raspberrypi/sdk_config/pico/config_autogen.h
index a29ccb458a..ee99b1c609 100644
--- a/ports/raspberrypi/sdk_config/pico/config_autogen.h
+++ b/ports/raspberrypi/sdk_config/pico/config_autogen.h
@@ -18,6 +18,8 @@
 #define PICO_NO_HARDWARE (0)
 #define PICO_ON_DEVICE (1)
 #define PICO_PRINTF_ALWAYS_INCLUDED (1)
+#define PICO_RP2040_USB_DEVICE_ENUMERATION_FIX (1)
+#define PICO_RP2040_USB_DEVICE_UFRAME_FIX (1)
 #define PICO_STDIO_IGNORE_NESTED_STDOUT (0)
 #define PICO_USE_CRT_PRINTF (0)
 #define PICO_USE_OPTIMISTIC_SBRK (0)