ARM64: change format specifier to work on 32-bit targets

Existing tests were failing.