micopythonにファイルを書き込むには「専用のツールが必要」と聞いて完全に思考停止してたけど、単純にREPLからopen()とwrite()で書いてるだけだった…！
https://github.com/micropython/micropython/blob/master/tools/pyboard.py#L576-L582