２年以上前に書いた古いkernel削除ですが、近頃kernel更新したので削除時に気がついたのですが、headersも沢山古いのが残ってました、構築で必要になるので入れてました。 $dpkg -l | grep linux-image で古いカーネルを確認して $sudo apt-get remove --pur…