Unfortunately there isn’t an EEPROM library in the Arduino core, so unless someone else has written one it would be a case of starting from scratch.
The good news is that the Adafruit RP2040 Feather, ItsyBitsy, and QT Py each have an 8 MB SPI Flash chip which ARM uLisp already uses for (save-image) on their M0 and M4 Express boards, so that should be easy to support.