Just got an old computer and I'm considering making it a dedicated folding machine. Should I run 32- or 64-bit linux?