Add support for 3 new Debian architectures: arm64, mips64el and ppc64el