For anybody that happens to have a G30HDR board from GHI Electronics, (which has an STM32F401 processor on it), I put together a board definition over here:
https://github.com/dhylands/G30HDR
I wasn't planning on doing a PR for the main micropython repository since it's a discontinued board. I snagged a few for 50% off during their Black Friday sale.