[same as previous mail... Sent 6 hrs ago but did not arrive]

OK, I've found what was wrong... Attached patch is over 2.4.2 plus 010228
patch, and it fixes the following:

- include/asm-ia64/hardirq.h: invalid local_irq_count() usage in
  local_enter_irq()
- arch/ia64/kernel/irq_ia64.c: IPI was registered on UP also, but I don't think
  it's used at all (or is it?), and what's more ipi_irqaction definition is
  surrounded by #ifdef CONFIG_SMP .. #endif. So I also #ifdef'ed the IPI
  registering out.

WDYT?

-- 
Francis Galiegue, fg@mandrakesoft.com - Normand et fier de l'être
"Programming is a race between programmers, who try and make more and more
idiot-proof software, and universe, which produces more and more remarkable
idiots. Until now, universe leads the race"  -- R. Cook