bad code generation on aarch64 in aarch64_output_mi_thunk