Проблема с установкой vboxadd, и я думаю, что у моего Ubuntu может быть неправильное ядро

Посмотрите на колонтитул произвольного командного вывода. Он может, ну, колорировать произвольные командные выходы. Отсутствует рабочий архив DEB, но установка тривиальная (после установки ruby). Конфигурация осуществляется с помощью регулярных выражений и может делать то, что вы хотите.