意見をくれた皆さん、どうもありがとう。
Debianあたりでがんばってみようと思います。
HDDの交換は8.4G以下のものを探さなくてはならないので、
インスコが成功したあとの課題にしたいと思います。

ちなみに新品がほしいのはやまやまですが、結局あれこれ拡張して財布がどんどん軽くなりそうなので㍉です。
（ノートの純正オプションは後から手に入れるにはたいへんなんで、本体購入時に無理してでも買っちゃうので。）