Aconteceu no modo de depuração
sudo dhclient -d p7p1
que o servidor DHCP do VirtualBox não forneceu um endereço IPv4 para a interface somente para host (p7p1).
No canal irvirtual #virtualbox recebi o aviso
[15:25] <@klaus-vb> could be that the dhcp server has lost track of vms...
that can be solved by stopping all VMs, and making sure that neither VBoxSVC nor VBoxDHCP
(or how it's called exactly) is running. then re-start the VMs.
I think this was a bug fixed in later 5.1 versions...
Meus alunos pararam suas VMs, mataram esses processos VBoxNetDHCP.exe
e VBoxSVC.exe
, reiniciaram suas VMs e, em seguida,
sudo dhclient -d p7p1
funcionou e obteve um endereço IPv4 adequado.
Então, afinal de contas, esse era um problema do VirtualBox apenas na máquina host.