[IA64] Fix spinaphore down_spin()