Я запускаю Ubuntu 12.10. По какой-то причине, каждый раз, когда есть обновление ядра, он больше не устанавливает linux-headers-* и linux-header-*-generic в /usr/src. Поэтому каждый раз, когда я обновляю свой виртуальный Ubuntu в VirtualBox, мне нужно вручную установить заголовки ядра перед запуском пакета Guest Additions.
Я уверен, что 12.04 автоматически установил заголовки ядра, потому что мне никогда не приходилось делать это раньше. Как это исправить?