>>465
通常の利用にはまるで支障がないのだけどVirtualBoxでイメージの起動をしようとするとヘッダーが見つからないってエラーが出るのです
ディストロはLinuxMintなのですが標準のカーネル5.xで起動したときにはVirtualBoxも起動出来ています