Nein, das müsste gekennzeichnet sein, außerdem gibt es keine GT130M ohne eigenem Speicher.
Könnte daran liegen, dass der Speicher für PCIe und zusätzlich turbocache (768MB oder wie viel das sind) dauerhaft belegt sind.
Heute gibt es eig. keine NBs mehr die Kein x64 unterstützen. Könnte aber auch noch ein finaler Bug von Win7 sein.