[IA64] Fix bug in ia64 specific down() function