PlatformIO has a very old version of the above SDK.
It is impossible to update it manually to what is on https://github.com/espressif/ESP8266_RTOS_SDK.git
This has been stable for a long time!
Why do they not provide a simple manual update option?