ડેબિયન 8.0 અથવા ઊંચી, 64-બીટ