Sì, se ti installano la versione a 64bit!
Come è successo ad un altro utente che ha preso un portatile HP e gli hanno installato la versione a 32bit...
Altrimenti, visto che dovrai formattare sicuramente per togliere le porcate ordina il DVD x64 e ce lo installi dopo.