32bit host with 64bit box doesn't use 64bit OS type

[puffnfresh]

I couldn't boot lucid64 on my 32-bit Ubuntu 12.04 host until I changed the "Operating System Type" from just "Ubuntu" to "Ubuntu (64 bit)".

From http://www.virtualbox.org/manual/ch03.html#intro-64bitguests:

If you want to use 64-bit guest support on a 32-bit host operating system, you must also select a 64-bit operating system for the particular VM. Since supporting 64 bits on 32-bit hosts incurs additional overhead, VirtualBox only enables this support upon explicit request.

[mitchellh]

Whoops. Noted, thanks. I'll update this issue once it is fixed.

[mitchellh]

Fixed and uploaded new boxes.

[arnuschky]

We're still seeing this problem with Vagrant 1.6.3, Ubuntu 12.04 32bit host, 14.04 64bit guest.