[IA64] In ia64_leave_syscall(), fix comments and whitespace only.