The definitions are taken directly form [this repo](https://github.com/Ai-Thinker-Open/ESP32-A1S-AudioKit).
This allows you to use the default esp-adf instead of theirs. To activate the custom board it has to be activated in a separate option in the menuconfig.