チケット17557 コールド・ブート時に再起動する

まだ現象報告を受けただけですが。

うーむ。「コールド・ブート時のみ再起動」というのは以前GDBのリセット問題の対策用に入れたコードを思い出させます。

検討したところ、boot_for_gdb（）は

場合に限って、ブートローダーを巻き込む事がわかりました。システム依存の問題なので、アドホックな対策で良ければそれほど難しくありません。ただ、対策を打った相手であるgdbproxyも刷新されていますので、長期的にはコードを見直した方がいいかもしれません。