This works now (VBox 4.3.6). The 64-bit capability can also be enabled by 'VBoxManage modifyvm VM_NAME --longmode on'.