4f918f4b26
Also change the signature of stm32_main to uint32_t, which is what it should be. Signed-off-by: Damien George <damien@micropython.org>