VMware 32bit/64bit mix