Спасибо, помогло
c:\Program Files (x86)\Arduino\hardware\espressif\esp32\ - вот так работает (для win10 x64 prof)
Интересно, а сделать установку платы по ссылке в менеджере плат (как обычно делают, как сделано с 8266) это сложнее, чем описанный на гите способ установки?