Another MCU we could target is the Portenta H7 - Arduino’s “Pro” flagship MCU. We support it at the moment, but support could be much better.
This MCU is amazing - a dual core STM32 M4 / M7, with peripherals like PWM switchable between the two cores, shared memory and more.
But I’m guessing people will be turned off by its $90 price-tag 