This is PCI routeing related.
Di: can you try booting with just:
acpi=noirq
this should get you ACPI, but no use ACPI for the IRQ setup. This is likely going to need a workaround in the kernel; can you paste the contents of:
cat /var/lib/acpi-support/*-*
This is PCI routeing related.
Di: can you try booting with just:
acpi=noirq
this should get you ACPI, but no use ACPI for the IRQ setup. This is likely going to need a workaround in the kernel; can you paste the contents of:
cat /var/lib/ acpi-support/ *-*