Add check_effective_target_maybe_x32