devuanだけではなく、本家debian(stretch)でも
同じこと(カーネル更新時に同バージョンの
カーネルヘッダーが更新されない件)が起こりました。
具体的には、bunsenlabs-lelium-5で、です。
したがって、
「exegnulinux64_ascii-20190714をシステム更新
していて気づいたこと。devuanのクセ」
の記事は、削除いたしました。
心よりお詫び申し上げます。
すみません。m(_’_)m
なお、kernel-headersを追ってインストール後は、
再起動するだけで、修復できました、
bunsenlabs-lelium-5の場合ですが。