Changed the box we use to i386; since my workstation, and maybe yours as well, doesn't support hardware VTx.