Спасибо за советы.
Но, ребята, в этом-то всё и дело. Обновления приходят автоматически. Вручную ничего не обновляется.
Понятно, что можно и ядро обновить, и как-то иначе решить ситуацию. В данном случае посыл такой, что по сути человек ничего руками не делал, но VirtualBox сломался. Всё остальное - это детали.