It’s an exact copy of it.
I’m not a Arduino-ESP32 core developer so maybe these people can help your more in regards of rebuilding the SDK libraries. The only good reference I could find was Compiling core at 80Mhz · Issue #1142 · espressif/arduino-esp32 · GitHub.
Once you have updated binaries for the latest version you can also integrate them in PlatformIO by using the platform_packages
(docs) directive. For that just fork GitHub - espressif/arduino-esp32: Arduino core for the ESP32, push your new library / headers in there and use your new git repository to replace the framework-arduinoespressif32
package.
Due to that complexity I would however first suggest to try the last suppoert version from lbernstone, as seen above.
There might also be another way: You can use ESP-IDF as a base and Arduino-ESP32 as a component. That should give you a modifyable sdkconfig.h
for your Unicore changes. See the official example at platform-espressif32/examples/espidf-arduino-blink at develop · platformio/platform-espressif32 · GitHub.