初心者の質問ですまんが、教えておくんなまし

dasaita marshmallow を、pieにupdateしようと考えて、
HA_px5_9.0_ota(20190731)升?包.7z
をDLして、解凍までは進んでいるところ。

平行して、これを取り込む手順をさがしたのだが、
どうにもみつからない。

ということで、手順を教えてくださいまし。

もしかしたら、解凍したファイル全部をamicroSDに書き込んで
dasaitaに突っ込めばいいだけなのだろうか?