Am I doing myself a huge disservice by running 32 bit linux on a 64 bit system. I've suddenly got a sneaking suspicion that I have a 64-bit thinkpad t61. Should I switch? -- Chris