Edit: switch_ppc_linux.h