virtualboxゲストの常用debian7アプグレめんどいからカーネルだけ4.19.2コンパイルして最新にしたったわ
不要なドライバ等削ってすっきりしたし、以後.config流用できるし、しかもspectreやらの対策ある割に全然重くなかった