[IA64] minor performance tune-up in ia64_switch_to