Использую ядро из Сизифа, т.к. железо новое. 4.11-4.13 обновлял нормально, даже не приходилось вручную запускать модуль. Поставил 4.14.5 - VirtualBox ругается на отсутствие модуля. Для этого ядра не нашёл пакета модуля (для 4.13 стоит kernel-modules-virtualbox-un-def#5.1.30-alt1.265487.1).