Make it clear that we recommend and support Debian 64bit.