The only problem is that I have a X86 based processor, but the 64-bit of Windows is compatible! I say this due to some tests I did checking this article.
Looking at the official page of my notebook, the only drivers you find are for Windows 7 32-bit or older version of Windows! But, if you take a look at the list of drivers for download are:
http://img585.imageshack.us/img585/4991/driverlistwin7.png
I’m not quite sure what the MIR driver is, but I found the VGA driver on nVidia official page for windows 8 64-bit (also for 32-bit)
Now, these are the results for performance and system information:
http://imageshack.us/a/img829/8973/printpreviewpage1.png
http://imageshack.us/a/img855/3394/printpreviewpage2.png
Also, my laptop specs to recap are:
Intel Core 2 Duo processor T9300 (2.5 GHz, 800 MHz FSB, 6 MB L2 cache)
Up to 1791 MB NVIDIA GeForce 9500 GS [ 512 MB ]
TurboCache
4GB DDR2