[arm64] Use armhf cross-compiler for building compat vDSO

The various architecture-specific vDSO implementations have been
mostly replaced by C code, so we now need a 32-bit Arm C compiler
for arm64 builds.