No. Mi hanno detto che x86 sta per 32 bit. Questione risolta. Ciao.