procesador de cuatro núcleos de 64 bits