Make it clear that we recommend 64-bit hardware for Debian.

Closes #1200.
Merge branch 'gh-pages-only-64-bit-debian' into gh-pages