In `JNI_FastGetField::generate_fast_get_int_field0` for AArch64, `SafepointSynchronize::safepoint_counter_addr` is read from using a normal load instead of a load-acquire. This is suspcious as the C++ side appears to use release-store for updating that field.