[RESEND PATCH] ia64: Fix build error with !COREDUMP