use vbox:OSType Linux not Linux_64

Linux_64 is not supported on VirtualBox 4.2, and 4.3 seems fine
with Linux.