Fix incorrect CPU type on Ubuntu 12.10.

Boxes won't build on VirtualBox if the CPU type isn't set correctly by virtue of the OS flavor.