Duplicate of ESP32 Arduino recompile SDK and Using latest ESP32 Arduino, but with own IDF configuration.