E' uscita la versione 1.4.0 di VirtualBox!

Finalmente supporta AMD64!

http://www.virtualbox.org/wiki/Downloads