You're speaking my language. This is a shameless self plug but we - that is Pimoroni - are working on 32blit which is an STM32F750-based microcontroller games console that should be up for general sale soooon - https://www.kickstarter.com/projects/pimoroni/32blit-retro-i...
Our beta backer tier have been godlike in their ability to make the STM32 do things I'd never thought we'd see... much less see before it's even launched. I mean it already has a Doom port.
I think, compared to the off-the-shelf Emu handhelds on which I cut my teeth (as far back as GP2X and Dingoo A320 days) it's underpowered and overpriced but you're dead on the money that they have a different charm and set of challenges.
MakeCode compiles down to native instructions, IIRC, so it should run on pretty much anything capable of running a screen that meets their - relatively forgiving - specs - https://arcade.makecode.com/hardware/adding
Edit: GP2X not GP32X!