Спасибо, я неточно выразился.
Имею в виду файлы, которые устанавливаются вот этими командами:
apt-get install kernel-headers-<тип ядра> kernel-headers-modules-<тип ядра>
Хотя, сам уже вижу, что не так уж много надо набирать, довольно лаконичная команда. Вместе с apt-get install rpm-build
они должны решать проблему установки нужного мне VirtualBox-а :)