If I get the technical specs correctly it is using an ESP32-S3FH4R2 which have 4 MB Flash and 2 MB PSRAM.
So this configuration should work.
Of course you would also need the additional settings for USB-CDC:
build_flags =
-D ARDUINO_USB_MODE=1
-D ARDUINO_USB_CDC_ON_BOOT=1