Debian has decided that ARMv8 is "arm64" platform instead of the
GCC stated "aarch64" platform. This adds support for that in the
omnibus deb packager.