Debian 7 x64 install documentation

(partial fix)