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

Closes #1200.