Board definition of the dev kit ESP32-PICO-DevKitM-2

Have you tried the generic ESP32 board choice?