Hallo Hugo, versuch doch mal mit der kernel-Option "pci=noacpi" zu booten. Sollte es dann funktionieren, kannst Du es ja nochmal mit "acpi=noirq" probieren. Grüße, Bernd