tree 1964a51f676e3ff43ae28a5fd246546895a4072d
parent 35451720e318f9b80de9de78d1fcaa573ca511c9
author June Tate-Gans <jtgans@google.com> 1581381311 -0500
committer June Tate-Gans <jtgans@google.com> 1581381311 -0500

Swap to using the USERSPACE_ARCH instead of QEMU's

Debian uses a different set of architecture names, and QEMU's names do
not line up with the archive's (ie: aarch64 vs. arm64, armhf vs. arm).

Change-Id: I8389ce2ac7fbb39872a4c6a1e358d4343d119df8