Ctrl Alt F1 pode estar sendo capturado pelo host, ou o VirtualBox pode não estar transmitindo corretamente. Um par de testes rápidos me diz que você pode usar a tecla Host definida no VirtualBox em vez de Ctrl Alt (pode ser a esquerda Ctrl ou à esquerda ⌘ em Macs). Então, pressionando ⌘ F1 mudou para TTY1 no VirtualBox para mim (e da mesma forma para ⌘ F7 de volta para a GUI) .