So more thinking about 32-Bit boards. RADDS is one of the platforms detailed in the discussion:

https://github.com/MarlinFirmware/MarlinDev/issues/398