Depois de aplicar a minha solução a partir do link , o problema voltou depois de atualizações adicionais do sistema (driver de vídeo). Eu conversei com o VirtualBox devs no IRC e eles me disseram que o Ubuntu não aceita regularmente correções de bugs dos desenvolvedores do VirtualBox. Eles recomendaram que eu instalasse o pacote VirtualBox mais recente do virtualbox.org, o que fiz. Isso resolveu o problema.
O link para download do Linux é:
Na verdade, é uma instalação mais simples porque você não precisa instalar adições de convidados separadamente.