Linux On My Samsung

Hey, just joined the boards, and I have a question for you guys. Were their multiple versions of the NB30 produced? I have found reference to the chipset (ATOM N450) being a 64bit chipset, but the version of Win7 Starter that it's running is a 32bit. Is this just a cop-out by Microsoft, or is it rea...