ARM64: use 64-bit constant even on 32-bit machines

Another existing bot failure so no tests.