名前つけときます。
とりあえず 7.1 の DVD から起動したら BTX halted は出なかったので
最後の手段は 7.1 で再インストールする、という方向性で。
インストール DVD からカーネル再構築一式を行う方法はないものか……。