On Sun, 2004-05-09 at 22:47, Brown, Len wrote:
> On Sun, 2004-05-09 at 20:44, Patrick Reynolds wrote:

> >    12:      310     XT-PIC  i8042, Intel 82801DB-ICH4, yenta

> 
> try booting with "acpi_irq_isa=12"
> 
> ACPI: PCI Interrupt Link [LNKB] (IRQs 3 4 5 6 7 12) *0, disabled.
> 
> ACPI: PCI Interrupt Link [LNKB] enabled at IRQ 12

On the assumption that cmdline works, please try this patch
(without any cmdline param).

It simply tweaks the heuristic and makes IRQ12 less attractive compared
to the others.

thanks,
-Len