libvixl: Fix format strings for several int64_t values