MCL64 in cartridge form?

[Barkfin]

I'm mostly interested in the SuperCPU potential of the MCL64.
Today I just found out about the RAD cartridge project: puts a Raspberry Pi 3A/3B or Zero 2 on-board a cartridge and it supersedes the 6510.
What would it take to put the MCL64 onto a cartridge board?

[MicroCoreLabs]

The Teensy 4.1 may be short a few GPIOs which are on the cartridge slot, but maybe this could be overcome with a degree of multiplexing. The bus interface code would also need to be changed to support the C64 cartridge slot rather than the 6510's bus interface. There would be some other challenges but probably a do-able project.

I was able to achieve a great amount of acceleration replacing the 6510 with the MCL64, but the downside is that most C64's do not have the CPU socketed! :)