Edit: switch_aarch64_gcc.h