经度娘，需要安装内核头

但是内核头总是安装失败

经查发现已经安装了4.13的内核头，但实际内核却是4.12

原因是经过了 apt-get update && apt-get upgrade && apt-get dist-upgrade之后，内核已经升级，系统同时存在4.12和4.13两个版本内核

解决办法：reboot 启动时选择advanced-4.13版本内核，启动后重新执行  ./VBoxLinuxAddition.run，成功。