A bit offtopic, but this is a known VirtualBox bug. You can work around it by booting into the OS X 32-bit kernel.