These BSP's are using older versions of the pico-sdk. The best fix would be for them to update. But that may never happen. Options are: (a) use a different BSP (ex: arduino-pico) or (b) revert to an ...
.pio/libdeps/seeed-xiao-afruitnrf52-nrf52840-sense-plus/Adafruit TinyUSB Library/src/tusb_config.h:47:4: error: #error TinyUSB Arduino Library does not support your core yet ...