Pues el cacharrito será mini, pero lo veo maxi.
Por cierto, si necesitas una máquina virtual x86 pero tu micro no es de esa familia, pásate a la emulación. Yo ahora estoy usando QEmu y me va mejor que VMWare (en Linux, ojo), y eso que tengo un microprocesador AMD.