Be sure to enable I/O APIC
for virtual machines that you intend to use in 64-bit mode.
This is especially true for 64-bit Windows VMs. See
If you use the Create VM wizard
of VirtualBox Manager, Oracle VM VirtualBox automatically uses the correct
settings for each selected 64-bit OS type. See