Modifications to micro-python stm port to get micromusl to work with it