Ошибка компиляции CM-14.1 на 32-разрядной версии Ubuntu

У меня была такая же проблема. Я обнаружил, что источником проблемы является, скорее всего, то, что я использую настраиваемое ядро.

Загрузка последнего пакета .deb с сайта virtualbox.org и установка его с помощью dpkg -i решили проблему в мой случай.