Compatibilité ordi portable avec win7 x64 ?

Bonjour à tous!

avec mon école, j'ai la possibilité d'avoir windows 7 gratuitement, mais je ne sais pas si mon ordinateur portable est compatible avec la version x64?
voila ma config : HP pavillion dv7-1050ef
Processeur Intel Core 2 Duo P8400 2,26GHz

D'après Everest, j'ai les informations suivantes qui peuvent vous servir :
Type de système PC avec processeur x86 ACPI (Mobile)
Type de processeur Mobile DualCore Intel Core 2 Duo P8400, 2266 MHz (8.5 x 267)
Alias du processeur Penryn-3M
Stepping du processeur M0
Jeu d'instructions x86, x86-64, MMX, SSE, SSE2, SSE3, SSSE3, SSE4.1.

Au vue de ces dernières infos, je pense qu'il s'agit d'un x86 (donc 32bits si j'ai bien compris) ??

Pourtant sur le site d'intel, on me dit que ce processeur est un 64bits ici :
https://ark.intel.com/content/www/us/en/ark.html?id=35569&processor=P8400&spec-codes=SL3BU,SLB3Q,SLB3R,SLB4M,SLB52,SLG8Z,SLGCC,SLGCF,SLGCL,SLGCQ,SLGE2,SLGFC

et sur le site support de Hp, ils proposent des drivers compatible avec mon ordinateur et windows 7 en x64.

Faut-il en déduire que le processeur est un x64 ? Mon ordinateur sera-t-il compatible avec la version x64 de 7 ? merci de m'éclairer!