困ったなぁ初期状態の を引っ張り出してきてなんとかするか、と思っていたのですが、往生際悪くいろいろ調べていると、以下の文書を発見。
駄目元で、一旦 USBメモリ内から全てのファイルを退避させて、上記文書に従って USBメモリを初期化。その後、退避させたファイルを単純にコピーしてみたところ起動した!
リカバリーまでは試していないのですが、とりあえずは起動可能な USBのリカバリーメディアが作成できた、ということで。後日、適当な を探してきてテストしたいと思います。