Unfortunately, we don't have one of those boards to hand in order to check why it doesn't compile.
Known working boards are listed at the bottom of this page:
https://www.thecoderscorner.com/products/arduino-libraries/tc-menu/
I can see that it is probably still AVR but with a different set of EEPROM functions. If you wanted to test if there are other problems (could be as I've not tried that configuration) you could try changing Arduino/libraries/IoAbstraction/src/EepromAbstraction.h as follows:
Line 100:
Change
#ifdef __AVR__
to the following
#ifdef NEVER_USE_AVR_ON_MK2
It will probably get past this error. But like I say I don't have that board to hand.