Problema (1)

Entre outras coisas, os ficheiros de log das máquinas virtuais tinham o seguinte registo:

00:00:00.280 Console: VM runtime error: fatal=false, errorID=Ext4PartitionDetected message=”The host I/O cache for at least one controller is disabled and the medium ‘/disco2/VirtualBox/HardDisks/VM1.vdi’ for this VM is located on an ext4 partition. There is a known Linux kernel bug which can lead to the corruption of the virtual disk image under these conditions.
00:00:00.280 Either enable the host I/O cache permanently in the VM settings or put the disk image and the snapshot folder onto a different file system.
00:00:00.280 The host I/O cache will now be enabled for this medium”
00:00:00.288 VBoxSharedClipboard mode: Bidirectional

Portanto, parece que há uma desavença entre o Kernel do Linux (para o sistema de ficheiros ext4) e o VirtualBox. Aparentemente com origem num bug. Ele dá duas opções de solução para este problema. Activar a cache de I/O, ou mudar de sistema de ficheiros. Optei pela primeira solução. Para isso, desliguei as máquinas virtuais e emiti os comandos:

Para ver o nome do controlador SATA:
VBoxManage showvminfo <nome_máquina>

Para activar a cache de I/O:

VBoxManage storagectl <nome_máquina> --name SATA\ Controller  --hostiocache on

Entretanto o host enviou mais um reset para as máquinas virtuais e eu decidi reiniciar o host para ver o que acontece.