https://twitter.com/qqmg4a39k4/status/992417297489776640

報告からみると条件をかえると正常動作するらしい. また異常の条件がそろうと発生確率は100%になるとのこと.
条件はCDimageをいれるメモリーカードの種類やBIOSのバージョン.

開発側の確認では問題は起きていないが、ファームのwait_us()の引数を少し変えたから問題が起きていない可能性もある.

いずれにせよタイミングがシビアな可能性がある.

詳しく調査をしなかったが、報告者が直ったといっているので修正済みを経由せず終了