Установка дополнений гостей работает отлично. На всякий случай, если кто-то еще сталкивается с проблемой размера экрана, с которой я столкнулся, вы можете выполнить следующие шаги:
sudo apt-get update // просто для получения всех системных зависимостей
// для получения гостевых дополнений
и окончательного sudo apt-get install virtualbox-guest-dkms.
Пожалуйста, дайте мне знать, если кто-то еще сталкивается с проблемой.