I plan on buying a brand new laptop with the included OS stating: "Genuine Windows® 7 Home Premium (32bit) (includes recovery partition for Windows® 7 Home Premium 64bit)" Does that mean it comes with Windows 7 64 bit?? If not, What do I do to get the 64-bit version?