When you have a 64-bit machine with a 64-bit OS, you just want you’re Virtual Machines to run in 64-bit mode. I use VMWare Player to run my VM’s but when I started the install of a 64-bit OS on the out-of-the-box configuration of my HP Probook I got thi…