Has anyone thought about putting a SiP into the arduboy? I saw STM H7 is compatible with the Arduino library and has a lot more power. It even is able to drive full color LCDs. If that is a bit too costly, you could always use a PIC32?
Edit: There are always the Allwinner FC1500s or V3S too.