Debian 8 DoD x86_64 armv7hl aarch64 x86_64 armv7hl aarch64