結局、2.6.14の.configを2.6.15に移して復旧させた。 たぶん、ほぼ、2.6.14と同じだろう。「たぶん」と言うのは2.6.14の方も今回のことでいろいろいじくってしまったから。
Debian使いの友人から以下のようなアドバイスをもらった。
$ cp /boot/config-2.6.14 ~/kernel-2.6/linux-source-2.6.15/.config $ make oldconfig 新しいオプションがあれば,[y/n/m]の選択を求められる. 必要なら $ make menuconfig
こっちの方が良いだろうと思う。