/proc/config.gz が見当たらない

久しぶりにRaspberry Piのシステムを新規インストールしてパッケージをアップデートしたら Raspbian Linux のカーネルがいつの間にか4.1系に変わっていることに気が付いた。

普段カスタマイズしたカーネルを使っているので、いつものようにカーネルを再構築しようとしたところ /proc/config.gz が見当たらない。

そんなときは、

$ sudo modprobe configs

とすると良いらしい。